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 avril 2025

Informations bibliographiques

avril 2025, env. 121 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
Computational Complexity and Local Algorithms
On the Interplay Between Randomness and Computation
Springer International Publishing, 2025
978-3-031-88945-5
env. 102.00 CHF
disponible dès mai 2025

Autres titres sur ce thème

On Recursion and Its Varieties
Formal, Cognitive and Use Aspects of Recursion in Language
Springer International Publishing, 2025
978-3-031-87424-6
env. 168.00 CHF
disponible dès mars 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
Code Appreciation
Reshaping Knowledge
Taylor and Francis, 2025
978-1-032-97254-1
env. 225.00 CHF
disponible dès juin 2025
ARM Assembly Language
Fundamentals and Techniques
Taylor and Francis, 2025
978-1-032-95181-2
env. 105.00 CHF
disponible dès août 2025
Emerging AI Applications in Earth Sciences
Challenges, Impact and Analysis
Springer International Publishing, 2025
978-3-031-84582-6
env. 236.00 CHF
disponible dès juin 2025
Sustainable Electronics
The Future Ahead
Taylor and Francis, 2025
978-1-032-74484-1
env. 239.00 CHF
disponible dès juillet 2025
Python for Excel Users
A Beginner's Guide
Taylor and Francis, 2025
978-1-032-93675-8
env. 85.00 CHF
disponible dès août 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
Cinematic Algorithms
The Rise of Generative AI in Video Art and Visual Culture
Taylor and Francis, 2025
978-1-032-98777-4
env. 205.00 CHF
disponible dès juin 2025
Information Technology
An Introduction for Today's Digital World
Taylor and Francis, 2025
978-1-032-86720-5
env. 255.00 CHF
disponible dès juin 2025