Browse books
E-Books - Computer modelling & simulation
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationUmformtechnische Herstellung komplexer Karosserieteile
Auslegung von Ziehanlagen
Price for Eshop: 3140 Kč (€ 125.6)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationModelling and Simulation
Exploring Dynamic System Behaviour
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationPractical Guide to Digital Manufacturing
First-Time-Right for Design of Products, Machines, Processes and System Integration
Price for Eshop: 1971 Kč (€ 78.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationInteractive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationHandbook of Dynamic Data Driven Applications Systems
Volume 1
Price for Eshop: 4210 Kč (€ 168.4)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationClinical Information Systems
Price for Eshop: 1013 Kč (€ 40.5)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFormale Sprachen
Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Price for Eshop: 586 Kč (€ 23.4)
Format: E-Book, Publisher: Springer Fachmedien Wiesbaden
Availability: E-book delivered electronically online
Add to Cart InformationHandbook of Large-Scale Random Networks
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information