Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Buch (broschiert)ca. 69.00 CHF
erhältlich ab Mai 2025

Bibliografische Angaben

Mai 2025, ca. 119 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-86694-4

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen
Ada 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2025
978-3-031-83730-2
102.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025
RoboCup 2024: Robot World Cup XXVII
Springer International Publishing, 2025
978-3-031-85858-1
ca. 112.00 CHF
erhältlich ab April 2025

Weitere Titel zum Thema

Federated Learning for Neural Disorders in Healthcare 6.0
Taylor and Francis, 2025
978-1-032-96887-2
ca. 265.00 CHF
erhältlich ab Mai 2025
Transactions on Pattern Languages of Programming V
Springer, 2025
978-3-662-70809-5
ca. 116.00 CHF
erhältlich ab März 2025
Special Topics in Information Technology
Springer International Publishing, 2025
978-3-031-80267-6
ca. 69.00 CHF
erhältlich ab April 2025
Applying Blockchain Technology
Concepts and Trends
Taylor and Francis, 2025
978-1-032-63966-6
ca. 249.00 CHF
erhältlich ab Mai 2025
Sein und Zahl
Ethik in der Künstlichen Intelligenz für Ingenieur*innen
Springer, 2025
978-3-662-70591-9
ca. 46.50 CHF
erhältlich ab Mai 2025
Edge Intelligence in the Making
Optimization, Deep Learning, and Applications
Springer International Publishing, 2025
978-3-031-84562-8
ca. 69.00 CHF
erhältlich ab April 2025
Intelligent Systems of Computing and Informatics in Sustainable Urban ...
Taylor and Francis, 2025
978-1-032-85484-7
ca. 235.00 CHF
erhältlich ab Mai 2025
Java 22 for Healthcare and Medical Applications
Taylor and Francis, 2025
978-1-032-89719-6
ca. 129.00 CHF
erhältlich ab April 2025
Applying Blockchain Technology
Concepts and Trends
Taylor and Francis, 2025
978-1-032-63703-7
ca. 105.00 CHF
erhältlich ab Mai 2025