Browse books
E-Books - Software Engineering
Theory and Practice of Model Transformations
7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationFormal Verification of Floating-Point Hardware Design
A Mathematical Approach
Price for Eshop: 2098 Kč (€ 83.9)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationFundamental Approaches to Software Engineering
21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Price for Eshop: 115 Kč (€ 4.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationPractical Aspects of Declarative Languages
14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationOperational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationArtificial Intelligence and Soft Computing
20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II
Price for Eshop: 3084 Kč (€ 123.4)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationArtificial Intelligence and Soft Computing
20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part I
Price for Eshop: 2239 Kč (€ 89.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationArtificial Intelligence and Soft Computing
17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAmbient Intelligence
First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFormal Methods in Systems Engineering
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart Information