Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Buch (broschiert)ca. 81.00 CHF
erhältlich ab Februar 2025

Bibliografische Angaben

Februar 2025, ca. 234 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-82699-3

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

Weitere Titel zum Thema

Artificial Intelligence and Machine Learning in Sports Science
Springer, 2025
978-3-662-70154-6
ca. 134.00 CHF
erhältlich ab Mai 2025
Bots und Bits im Alltag
Künstliche Intelligenz verstehen und für Home, Business & Hobby nutzen
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46834-7
ca. 34.50 CHF
erhältlich ab Juli 2025
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2025
978-3-030-86860-4
ca. 123.00 CHF
erhältlich ab Juni 2025
Requirements Engineering
Fundamentals, Principles, and Techniques
Springer, 2025
978-3-662-69204-2
ca. 116.00 CHF
erhältlich ab März 2025
Microsoft Copilot für Dummies
Wiley-VCH, 2025
978-3-527-72346-1
ca. 30.50 CHF
erhältlich ab Juni 2025
Petrinetze
Modellierungstechnik, Analysemethoden, Fallstudien
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-8348-1935-2
49.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
ca. 390.00 CHF
erhältlich ab März 2026
GPS
Software Library
Springer Nature EN, 2040
978-3-540-76620-9
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen