All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Promotions
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Frontiers of Combining Systems - 8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011. Proceedings (Paperback)
R
1,964
Add to Cart
Ships in 10 - 15 working days
Automated Deduction -- CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Paperback, 2011)
R
1,650
Add to Cart
Ships in 10 - 15 working days
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Paperback, 1st ed. 2020)
R
2,572
Add to Cart
Ships in 10 - 15 working days
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II (Paperback, 1st ed. 2020)
R
2,302
Add to Cart
Ships in 10 - 15 working days