All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 7 Results in All Departments
Relevance
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Paperback, 1st ed. 2019)
R
1,605
Add to Cart
Ships in 10 - 15 working days
Formal Modeling and Analysis of Timed Systems - First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Paperback, 2004 ed.)
R
1,656
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Paperback, 2002 ed.)
R
3,287
Add to Cart
Ships in 10 - 15 working days
CONCUR 2001 - Concurrency Theory - 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Paperback, 2001 ed.)
R
1,849
Add to Cart
Ships in 10 - 15 working days
Automata, Languages and Programming - 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Paperback, 1998 ed.)
R
3,161
Add to Cart
Ships in 10 - 15 working days
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.)
R
1,664
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Paperback, 1992 ed.)
R
1,792
Add to Cart
Ships in 10 - 15 working days