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 I
Informations bibliographiques
août 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-98667-3
Mots-clés
Informations bibliographiques
août 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-98667-3
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 II
Springer International Publishing, 2025
978-3-031-98678-9
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
Quantum Computing and Machine Learning for 6G
978-1-394-23808-8
env. 275.00 CHF
disponible dès mars 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
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
How to See Like a Machine
Art in the Age of AI
Pan macmillan Ltd., 2026
978-1-83674-216-6
env. 35.50 CHF
disponible dès mai 2026
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 392.00 CHF
disponible dès mars 2026
Nature-Inspired Computing
Bio-Inspired Algorithms
Taylor and Francis, 2026
978-1-4822-4480-9
env. 225.00 CHF
disponible dès janvier 2026
Decoding Explainable AI
Navigating Industry 4.0 and Anticipating Industry 5.0
Wiley, 2026
978-1-394-34220-4
env. 269.00 CHF
disponible dès mai 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
The Garbage Collection Handbook
The Art of Automatic Memory Management
Taylor and Francis, 2026
978-1-03-223178-5
env. 75.00 CHF
disponible dès février 2026
AI Art, Machine Learning and the Stakes for Art Criticism
Lund Humphries, 2026
978-1-84822-528-2
env. 51.50 CHF
disponible dès mars 2026
Personas Across Cultures
Representing the Next Billion Users
Springer Nature EN, 2026
978-3-030-24350-0
env. 146.00 CHF
disponible dès avril 2026