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 International Publishing AG
Springer Nature Switzerland AG
Springer Verlag, Singapore
Springer-Verlag
Filter Results
Showing 9 of 9 Results in All Departments
Relevance
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Communications of NII Shonan Meetings (Hardcover, 1st ed. 2021)
R
3,057
Add to Cart
Ships in 10 - 15 working days
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Communications of NII Shonan Meetings (Paperback, 1st ed. 2021)
R
2,999
Add to Cart
Ships in 10 - 15 working days
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,631
Add to Cart
Ships in 10 - 15 working days
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Paperback, 2014 ed.)
R
3,060
Add to Cart
Ships in 10 - 15 working days
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Paperback, 2012 ed.)
R
1,646
Add to Cart
Ships in 10 - 15 working days
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Paperback, 2010 ed.)
R
1,596
Add to Cart
Ships in 10 - 15 working days
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Paperback, 1st ed. 2021)
R
1,839
Add to Cart
Ships in 10 - 15 working days
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Paperback, 1st ed. 2020)
R
1,626
Add to Cart
Ships in 10 - 15 working days