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
Brand
Cambridge UniversityPress
Springer International Publishing AG
Springer London
Springer-Verlag
Filter Results
Showing 11 of 11 Results in All Departments
Relevance
Computation, Proof, Machine - Mathematics Enters a New Age (Paperback, New edition)
Gilles Dowek
R
1,325
Add to Cart
Ships in 12 - 17 working days
Computation, Proof, Machine - Mathematics Enters a New Age (Hardcover, New edition)
Gilles Dowek
R
2,374
Add to Cart
Ships in 12 - 17 working days
Proofs and Algorithms - An Introduction to Logic and Computability (Paperback, 2011 ed.)
Gilles Dowek
R
1,209
Add to Cart
Ships in 10 - 15 working days
Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Paperback, 2008 ed.)
R
1,667
Add to Cart
Ships in 10 - 15 working days
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Paperback, 1999 ed.)
R
1,730
Add to Cart
Ships in 10 - 15 working days
Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Paperback, 1996 ed.)
R
1,685
Add to Cart
Ships in 10 - 15 working days
Principles of Programming Languages (Paperback, 2009 ed.)
Gilles Dowek
R
1,140
Add to Cart
Ships in 10 - 15 working days
Introduction to the Theory of Programming Languages (Paperback, 2011 ed.)
Gilles Dowek
,
Jean- Jacques Levy
R
1,191
Add to Cart
Ships in 10 - 15 working days
Rewriting and Typed Lambda Calculi - Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Paperback, 2014 ed.)
R
3,122
Add to Cart
Ships in 10 - 15 working days
The Age of Algorithms (Hardcover)
Serge Abiteboul
,
Gilles Dowek
R
1,480
Add to Cart
Ships in 12 - 17 working days
The Age of Algorithms (Paperback)
Serge Abiteboul
,
Gilles Dowek
R
527
Add to Cart
Ships in 12 - 17 working days