Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Domaines
Étudier le droit
Publications
Littérature
Bases de données
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Auteurs
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Computer Aided Verification
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Informations bibliographiques
août 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-98678-9
Mots-clés
Informations bibliographiques
août 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-98678-9
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutConsolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83730-2
env. 103.00 CHF
disponible dès mars 2026
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83731-9
env. 102.00 CHF
disponible dès mars 2026
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98684-0
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98667-3
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-98681-9
env. 55.90 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98413-6
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-031-98461-7
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-031-98464-8
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98458-7
env. 102.00 CHF
disponible dès août 2025
Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-98739-7
env. 188.00 CHF
disponible dès août 2025
Autres titres sur ce thème
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83731-9
env. 102.00 CHF
disponible dès mars 2026
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82534-4
env. 46.90 CHF
disponible dès janvier 2026
Quantum Information Processing with Light
Taylor and Francis, 2026
978-1-4665-8399-3
env. 309.00 CHF
disponible dès janvier 2026
The Hard Question of Art
Cognitive Futures
Pan macmillan Ltd., 2026
978-1-80429-194-8
env. 29.90 CHF
disponible dès mars 2026
Medical Imaging Application in Health Assessment and Disease Management
Elsevier, 2026
978-0-443-28967-5
env. 235.00 CHF
disponible dès janvier 2026
Internet Governance
A Human Rights Perspective
Taylor and Francis, 2026
978-1-138-79864-9
env. 149.00 CHF
disponible dès janvier 2026
Digitalisierung und Innovation im Sport und in der Sportwissenschaft
Handbuch Sport und Sportwissenschaft
Springer, 2026
978-3-662-70474-5
env. 244.00 CHF
disponible dès février 2026
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 392.00 CHF
disponible dès mars 2026
The Stack, 10th Anniversary Edition
On Software and Sovereignty
MIT Press, 2026
978-0-262-55391-9
env. 42.50 CHF
disponible dès février 2026
How to Build an End to End Business Continuity Program
Taylor and Francis, 2026
978-1-4987-9712-2
env. 85.00 CHF
disponible dès janvier 2026
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026