Browse books
E-Books - Algorithms & data structures
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 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 InformationSwarm Intelligence
8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationAlgorithimic Languages and Calculi
Price for Eshop: 5055 Kč (€ 202.2)
Format: E-Book, Publisher: Springer US
Availability: E-book delivered electronically online
Add to Cart InformationProgress in Cryptology -- INDOCRYPT 2015
16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAdvances in Automatic Differentiation
Price for Eshop: 3928 Kč (€ 157.1)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationRecent Advances in Information Technology
RAIT-2014 Proceedings
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer India
Availability: E-book delivered electronically online
Add to Cart InformationComputer Safety, Reliability, and Security
32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 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 InformationRecent Advances in AI Planning
5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationInteger Programming and Combinatorial Optimization
6th International IPCO Conference Houston, Texas, June 22-24, 1998 Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationNumerical Methods in Matrix Computations
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information