Browse books
E-Books - Software Engineering
Technology Trends
Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 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 InformationApplied Technologies
Second International Conference, ICAT 2020, Quito, Ecuador, December 2-4, 2020, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationApplied Technologies
Third International Conference, ICAT 2021, Quito, Ecuador, October 27-29, 2021, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTechnology Trends
4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, Revised Selected Papers
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationApplied Technologies
First International Conference, ICAT 2019, Quito, Ecuador, December 3-5, 2019, Proceedings, Part I
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationNetworked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAutomated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
Price for Eshop: 1830 Kč (€ 73.2)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAutomated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 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 InformationComputer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationVerification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15-17, 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 Information