E-Books - Artificial intelligence

Advances in Artificial Intelligence, Software and Systems Engineering

Proceedings of the AHFE 2021 Virtual Conferences on Human Factors in Software and Systems Engineering, Artificial Intelligence and Social Computing, and Energy, July 25-29, 2021, USA

Price for Eshop: 6181 Kč (€ 247.2)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Advances in Human Factors in Cybersecurity

Proceedings of the AHFE 2018 International Conference on Human Factors in Cybersecurity, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Deductive Software Verification - The KeY Book

From Theory to Practice

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Sensor Networks

9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9-10, 2021, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Advances in Social Simulation

Proceedings of the 15th Social Simulation Conference: 23-27 September 2019

Price for Eshop: 6181 Kč (€ 247.2)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Fuzzy Semirings with Applications to Automata Theory

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online