Browse books
E-Books - Algorithms & data structures
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 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 InformationAbstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 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 InformationCritical Infrastructure Protection V
5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 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 InformationBig Data
Principles and Paradigms
Price for Eshop: 1693 Kč (€ 67.7)
Format: E-Book, Publisher: Elsevier Science
Availability: E-book delivered electronically online
Add to Cart InformationMathematical Optimization Theory and Operations Research
18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 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 InformationTransaction Management Support for Cooperative Applications
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer US
Availability: E-book delivered electronically online
Add to Cart InformationTrends in Functional Programming
21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, 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 InformationEvolutionary Multi-Agent Systems
From Inspirations to Applications
Price for Eshop: 3365 Kč (€ 134.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationEngineering Secure Software and Systems
8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationComputational Intelligence and Bioinspired Systems
8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltru, Barcelona, Spain, June 8-10, 2005, Proceedings
Price for Eshop: 3675 Kč (€ 147.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information