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
Springer-Verlag
Filter Results
Showing 7 of 7 Results in All Departments
Relevance
Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Paperback, 2007 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Algebraic Methodology and Software Technology - 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings (Paperback, 2002 ed.)
R
1,821
Add to Cart
Ships in 10 - 15 working days
Frontiers of Combining Systems - Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings (Paperback, 2000 ed.)
R
1,688
Add to Cart
Ships in 10 - 15 working days
Automated Deduction - CADE-15 - 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Paperback, 1998 ed.)
R
1,787
Add to Cart
Ships in 10 - 15 working days
Trees in Algebra and Programming - CAAP '96 - 21st International Colloquium, Linkoeping, Sweden, April 22-24, 1996. Proceedings (Paperback, 1996 ed.)
R
1,713
Add to Cart
Ships in 10 - 15 working days
Algebraic and Logic Programming - Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Paperback, 1992 ed.)
R
1,792
Add to Cart
Ships in 10 - 15 working days
Algebraic and Logic Programming - Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Paperback, 1990 ed.)
R
1,745
Add to Cart
Ships in 10 - 15 working days