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 5 of 5 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
Computer Aided Verification - 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Paperback, 2001 ed.)
R
3,258
Add to Cart
Ships in 10 - 15 working days
Constraints in Computational Logics: Theory and Applications - International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Paperback, 2001 ed.)
R
1,700
Add to Cart
Ships in 10 - 15 working days
Rewriting Techniques and Applications - 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Paperback, 1997 ed.)
R
1,721
Add to Cart
Ships in 10 - 15 working days
Term Rewriting - French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Paperback, 1995 ed.)
R
1,643
Add to Cart
Ships in 10 - 15 working days