Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Livre (broché)env. 81.00 CHF
disponible dès février 2025

Informations bibliographiques

février 2025, env. 254 Pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-82702-0

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

Autres titres sur ce thème

Intelligent Data Driven Techniques for Security of Digital Assets
Taylor and Francis, 2030
978-1-032-74488-9
env. 195.00 CHF
disponible dès avril 2030
Qualität durch Digitalisierung
Qualitätsmanagement mit KI, Data Mining, Chatbots und Co
Hanser Fachbuch, 2099
978-3-446-46699-9
env. 65.00 CHF
disponible dès janvier 2099
Der andere Sport
Esports zwischen gesellschaftlichem Strukturwandel und Marketingstrategie
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46872-9
96.00 CHF
livrable dans env. 20-45 jours
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 390.00 CHF
disponible dès mars 2026
Microsoft Copilot für Dummies
Wiley-VCH, 2025
978-3-527-72346-1
env. 30.50 CHF
disponible dès juin 2025
Model-Based Systems Engineering with the SPES Modeling Language
A SysML Workbench for the SPES Methodology
Springer International Publishing, 2026
978-3-031-57294-4
env. 55.50 CHF
disponible dès février 2026
Sein und Zahl
Ethik in der Künstlichen Intelligenz für Ingenieur*innen
Springer, 2025
978-3-662-70591-9
env. 46.50 CHF
disponible dès mai 2025
Statistics for Scientists
A Concise Guide for Data-driven Research
Springer International Publishing, 2026
978-3-031-78146-9
env. 96.00 CHF
disponible dès juin 2026