Browse books
E-Books - Software Engineering
Advances in Agile and User-Centred Software Engineering
Third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 2019, 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 InformationProgramming and Proof System ATES
Advanced Techniques Integration into Efficient Scientific Software
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationEinfuhrung in die Programmiersprache Modula 2
Price for Eshop: 957 Kč (€ 38.3)
Format: E-Book, Publisher: Vieweg+Teubner Verlag
Availability: E-book delivered electronically online
Add to Cart InformationLogic-Based Program Synthesis and Transformation
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationReal-Time Programming 1992
Price for Eshop: 1520 Kč (€ 60.8)
Format: E-Book, Publisher: Elsevier Science
Availability: E-book delivered electronically online
Add to Cart InformationReliable Software Technologies - Ada-Europe 2015
20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationPrefactoring
Extreme Abstraction - Extreme Separation - Extreme Reliability
Price for Eshop: 598 Kč (€ 23.9)
Format: E-Book, Publisher: O'Reilly Media
Availability: E-book delivered electronically online
Add to Cart InformationMobile and Ubiquitous Systems: Computing, Networking, and Services
8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationComputer Performance Evaluation
Modelling Techniques and Tools
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 Applications of Satisfiability Testing - SAT 2020
23rd International Conference, Alghero, Italy, July 3-10, 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