All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Promotions
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 13 of 13 Results in All Departments
Relevance
Software Engineering for Robotics (Hardcover, 1st ed. 2021)
R
3,620
Add to Cart
Ships in 10 - 15 working days
Software Engineering for Robotics (Paperback, 1st ed. 2021)
R
3,821
Add to Cart
Ships in 10 - 15 working days
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Paperback, 2013 ed.)
R
1,581
Add to Cart
Ships in 10 - 15 working days
Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback, 2013 ed.)
R
1,632
Add to Cart
Ships in 10 - 15 working days
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Paperback, 2013 ed.)
R
1,622
Add to Cart
Ships in 10 - 15 working days
Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Paperback, 2008 ed.)
R
3,091
Add to Cart
Ships in 10 - 15 working days
Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Paperback, 2007 ed.)
R
1,664
Add to Cart
Ships in 10 - 15 working days
Domain Modeling and the Duration Calculus - International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Paperback, 2007 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures (Paperback, 2006 ed.)
R
1,616
Add to Cart
Ships in 10 - 15 working days
Formal Methods and Software Engineering - 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Paperback, 2003 ed.)
R
3,359
Add to Cart
Ships in 10 - 15 working days
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings (Paperback, 1st ed. 2021)
R
2,371
Add to Cart
Ships in 10 - 15 working days
Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Paperback, 2009 ed.)
R
1,602
Add to Cart
Ships in 10 - 15 working days
Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Paperback, 2008 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days