Browse books
E-Books - Software Engineering
Mathematical Programming Solver Based on Local Search
Price for Eshop: 3913 Kč (€ 156.5)
Format: E-Book, Publisher: Wiley
Availability: E-book delivered electronically online
Add to Cart InformationSoftware-Entwicklung fur Echtzeitsysteme
Price for Eshop: 792 Kč (€ 31.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFrom Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationRuntime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, 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 InformationParadigm for Decentralized Process Modeling
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer US
Availability: E-book delivered electronically online
Add to Cart InformationArt of Software Thermal Management for Embedded Systems
Price for Eshop: 2098 Kč (€ 83.9)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationCritical Issues in User Interface Systems Engineering
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart InformationConceptual Modeling for User Interface Development
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart InformationIntelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 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 InformationSystems and Software Verification
Model-Checking Techniques and Tools
Price for Eshop: 3365 Kč (€ 134.6)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information