All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
On special
Brand
Cambridge UniversityPress
Springer-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Rippling: Meta-Level Guidance for Mathematical Reasoning (Hardcover)
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
R
2,934
Add to Cart
Ships in 12 - 17 working days
Mechanizing Mathematical Reasoning - Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday (Paperback, 2005 ed.)
R
3,283
Add to Cart
Ships in 10 - 15 working days
Security in Pervasive Computing - Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Paperback, 2005 ed.)
R
1,654
Add to Cart
Ships in 10 - 15 working days
Applied Formal Methods - FM-Trends 98 - International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Paperback, 1999 ed.)
R
1,743
Add to Cart
Ships in 10 - 15 working days