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 Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 7 of 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,629
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,679
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,334
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,872
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,207
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,688
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,815
Add to Cart
Ships in 10 - 15 working days