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 International Publishing AG
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 10 Results in All Departments
Relevance
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
R
2,046
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Paperback, 1st ed. 2016)
R
2,380
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Paperback, 2015 ed.)
R
2,331
Add to Cart
Ships in 10 - 15 working days
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Paperback, 1st ed. 2021)
R
2,361
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,562
Add to Cart
Ships in 10 - 15 working days
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers (Paperback, 1st ed. 2016)
R
2,566
Add to Cart
Ships in 10 - 15 working days
Logic, Rewriting, and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Paperback, 1st ed. 2015)
R
1,668
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Paperback, 2014 ed.)
R
2,455
Add to Cart
Ships in 10 - 15 working days
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Paperback, 2012 ed.)
R
1,584
Add to Cart
Ships in 10 - 15 working days