Browse books
E-Books - Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationLeveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLeveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLeveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Price for Eshop: 2098 Kč (€ 83.9)
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
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationExtreme Programming and Agile Processes in Software Engineering
4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationTheory and Practice of Algorithms in (Computer) Systems
First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationCoordination of Complex Sociotechnical Systems
Self-organisation of Knowledge in MoK
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationIndustrial Applications of Holonic and Multi-Agent Systems
9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings
Price for Eshop: 1408 Kč (€ 56.3)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information