Browse books
E-Books - Systems analysis & design
Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationFormal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTransformation-Based Reactive Systems Development
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationZuverlassigkeit mechatronischer Systeme
Grundlagen und Bewertung in fruhen Entwicklungsphasen
Price for Eshop: 2013 Kč (€ 80.5)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationComputer Applications in Engineering and Management
Price for Eshop: 1762 Kč (€ 70.5)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationComputer Applications in Engineering and Management
Price for Eshop: 1762 Kč (€ 70.5)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationDistributed Applications and Interoperable Systems
15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationPassive and Active Measurement
19th International Conference, PAM 2018, Berlin, Germany, March 26-27, 2018, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Price for Eshop: 115 Kč (€ 4.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Price for Eshop: 115 Kč (€ 4.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information