Browse books
E-Books - Software Engineering
NETWORKING 2012
11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 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 InformationSoftware-Technologien und Prozesse
Open Source Software in der Industrie, KMUs und im Hochschulumfeld 5. Konferenz STEP, 3.5. 2016 in Furtwangen
Price for Eshop: 3296 Kč (€ 131.8)
Format: E-Book, Publisher: De Gruyter
Availability: E-book delivered electronically online
Add to Cart InformationSoftware-Technologien und Prozesse
Open Source Software in der Industrie, KMUs und im Hochschulumfeld 5. Konferenz STEP, 3.5. 2016 in Furtwangen
Price for Eshop: 3296 Kč (€ 131.8)
Format: E-Book, Publisher: De Gruyter
Availability: E-book delivered electronically online
Add to Cart InformationObjektorientierte Programmierung mit JavaScript
Direktstart fur Einsteiger
Price for Eshop: 704 Kč (€ 28.2)
Format: E-Book, Publisher: Springer Fachmedien Wiesbaden
Availability: E-book delivered electronically online
Add to Cart InformationModel-Driven Software Development
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationTesting Commercial-off-the-Shelf Components and Systems
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFormal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationTools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Price for Eshop: 115 Kč (€ 4.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 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 InformationVerification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Price for Eshop: 1971 Kč (€ 78.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information