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

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Livre (broché)97.00 CHF
livrable dans env. 20-45 jours

Informations bibliographiques

novembre 2024, 462 Pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-77381-5

Sommaire

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

Autres titres sur ce thème

Sustainable Electronics
The Future Ahead
Taylor and Francis, 2025
978-1-032-74484-1
env. 239.00 CHF
disponible dès juillet 2025
Postartifizielle Literatur
Lesen im Zeitalter künstlicher Intelligenz
Suhrkamp, 2026
978-3-518-12826-8
env. 22.50 CHF
disponible dès janvier 2026
Transformative Applied Research in Computing, Engineering, Science and ...
Taylor and Francis, 2025
978-1-041-01781-3
env. 265.00 CHF
disponible dès avril 2025
Blockchain for Good
The Transformative Impacts on Industry, Community and the Planet
Taylor and Francis, 2025
978-1-032-59806-2
env. 189.00 CHF
disponible dès mai 2025
Digital Humanism
On Digitalization and Artificial Intelligence
Springer International Publishing, 2025
978-3-031-86904-4
env. 46.90 CHF
disponible dès août 2025
Methods of Organic Synthesis
Principles, Mechanisms and Applications
Springer, 2025
978-3-662-70962-7
env. 109.00 CHF
disponible dès mai 2025