Browse books
E-Books - Software Engineering
Advances in Evolutionary Algorithms
Theory, Design and Practice
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationAdvances in Artificial Intelligence, Software and Systems Engineering
Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Service and Systems Engineering, and the AHFE International Conference of Human Factors in Energy, July 24-28, 2019, Washington D.C., USA
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAdvances in Human Factors, Software, and Systems Engineering
Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationHuman Systems Engineering and Design
Proceedings of the 1st International Conference on Human Systems Engineering and Design (IHSED2018): Future Trends and Applications, October 25-27, 2018, CHU-Universite de Reims Champagne-Ardenne, France
Price for Eshop: 5055 Kč (€ 202.2)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAdvances in Artificial Intelligence, Software and Systems Engineering
Joint Proceedings of the AHFE 2018 International Conference on Human Factors in Artificial Intelligence and Social Computing, Software and Systems Engineering, The Human Side of Service Engineering and Human Factors in Energy, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
Price for Eshop: 5618 Kč (€ 224.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationDeductive Software Verification - The KeY Book
From Theory to Practice
Price for Eshop: 3084 Kč (€ 123.4)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationDeductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationLogic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationIntegrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 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 InformationTests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 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 Information