E-Books - Artificial intelligence

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

Deep Learning in Data Analytics

Recent Techniques, Practices and Applications

Price for Eshop: 4492 Kč (€ 179.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online