Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III
Livre (broché)env. 55.50 CHF
disponible dès juillet 2025

Informations bibliographiques

juillet 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-90659-6

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

Imperien
Zur Soziologie einer vergessenen Vergesellschaftungsform
Campus, 2025
978-3-593-51566-3
env. 55.90 CHF
disponible dès mai 2025
Algorithmische Wissenskulturen
Der Einfluss des Computers auf die Wissenschaftsentwicklung
Vieweg + Teubner, 2025
978-3-658-35559-3
env. 65.00 CHF
disponible dès septembre 2025
Simulation Training for Obstetric Emergencies
Practical Manual
Springer International Publishing, 2025
978-3-031-81930-8
env. 69.00 CHF
disponible dès mai 2025
Digitale Bildungsangebote für die Qualifizierung schwerbehinderter Menschen
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-47876-6
env. 43.90 CHF
disponible dès juin 2025
Computational Literacy for the Humanities
Taylor and Francis, 2025
978-1-032-78881-4
env. 65.00 CHF
disponible dès juin 2025
Ecological Connectivity of Forest Ecosystems
Springer International Publishing, 2025
978-3-031-82205-6
env. 69.00 CHF
disponible dès mai 2025
Das Affektregime weiblicher Altersarmut
Zur subjektiven Verarbeitung von Prekarität
Campus, 2025
978-3-593-51751-3
env. 52.50 CHF
disponible dès juin 2025
Digital Learning Design
Designing Effective Online and Blended Learning
Springer International Publishing, 2025
978-3-031-89044-4
env. 69.00 CHF
disponible dès juin 2025
Towards Effective Flow Control and Mitigation of Shock Effects in Aeronautical ...
Springer International Publishing, 2025
978-3-031-86604-3
env. 69.00 CHF
disponible dès mai 2025
Quantum Process Algebra
Elsevier, 2025
978-0-443-27513-5
env. 319.00 CHF
disponible dès mars 2025