Browse books
E-Books - Software Engineering
Advances in Wireless, Mobile Networks and Applications
International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 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 InformationNew Trends in Information and Communications Technology Applications
Third International Conference, NTICT 2018, Baghdad, Iraq, October 2-4, 2018, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationRigorous Software Development
An Introduction to Program Verification
Price for Eshop: 950 Kč (€ 38.0)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart InformationLogic, Language and Meaning
17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, 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 InformationAdaptive Agents and Multi-Agent Systems
Adaptation and Multi-Agent Learning
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLogic-Based Program Synthesis and Transformation
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, 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 InformationFormal Methods for Industrial Critical Systems
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationStatic Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationIntelligent Cloud Computing
First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers
Price for Eshop: 985 Kč (€ 39.4)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAdvances in Computers
Price for Eshop: 1520 Kč (€ 60.8)
Format: E-Book, Publisher: Elsevier Science
Availability: E-book delivered electronically online
Add to Cart Information