Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
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
Livre (broché)env. 69.00 CHF
disponible dès mai 2025

Informations bibliographiques

mai 2025, env. 119 Pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-86694-4

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
RoboCup 2024: Robot World Cup XXVII
Springer International Publishing, 2025
978-3-031-85858-1
env. 112.00 CHF
disponible dès avril 2025

Autres titres sur ce thème

Applying Blockchain Technology
Concepts and Trends
Taylor and Francis, 2025
978-1-032-63966-6
env. 249.00 CHF
disponible dès mai 2025
Programming Language Pragmatics
Elsevier, 2025
978-0-323-99966-3
env. 129.00 CHF
disponible dès avril 2025
Technisches Handeln und Verantwortung
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46630-5
env. 102.00 CHF
disponible dès avril 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
Innovation in HealthTech
A Roadmap for Empowering Healthcare
Taylor and Francis, 2025
978-1-032-85027-6
env. 209.00 CHF
disponible dès mai 2025
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
env. 69.00 CHF
disponible dès avril 2026
Java 22 for Healthcare and Medical Applications
Taylor and Francis, 2025
978-1-032-89719-6
env. 129.00 CHF
disponible dès avril 2025
Decide Better
Open and Interoperable Local Digital Twins
Springer International Publishing, 2025
978-3-031-81450-1
env. 69.00 CHF
disponible dès avril 2025
Digital Business Management
Transforming to a Data-Driven Organization Using AI
Springer International Publishing, 2025
978-3-031-83176-8
env. 134.00 CHF
disponible dès avril 2025
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 390.00 CHF
disponible dès mars 2026
Artificial Intelligence Act
Article-by-Article Commentary
NomosHart PublishingC.H.Beck, 2025
978-3-8487-8848-4
env. 287.00 CHF
disponible dès octobre 2025
Virtual Engineering
Ganzheitliche Prozess- und IT-Systemintegration
Springer, 2029
978-3-540-79441-7
env. 102.00 CHF
disponible dès juin 2029