Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
NASA Formal Methods
NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Informations bibliographiques
juin 2025, 442 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-93705-7
Mots-clés
Informations bibliographiques
juin 2025, 442 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-93705-7
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 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
Autres titres sur ce thème
Technology-Led Tourism
Leveraging AI, Data and Analytics in Travel
Kogan Page, 2026
978-1-3986-2530-3
env. 51.50 CHF
disponible dès mars 2026
Exploring Infant Cry
Medical and Technical Analysis and Signal Processing Perspectives
978-0-443-38347-2
env. 235.00 CHF
disponible dès mars 2026
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.90 CHF
disponible dès février 2026
Artificial Intelligence And Quantum Dynamics For Memristor-system Computing
Ingram Publishers Services, 2026
978-981-1298-95-0
env. 235.00 CHF
disponible dès mars 2026
Artificial Intelligence in Cybersecurity
Use AI to Protect Your Organization
Kogan Page, 2026
978-1-3986-2466-5
env. 159.00 CHF
disponible dès mars 2026
Management in der Radiologie
Controlling, Qualitätsmanagement, Digitalisierung
Springer, 2026
978-3-662-64779-0
env. 127.00 CHF
disponible dès mars 2026
Consolidated 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
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
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
Self And Sense Of Agency In Artificial Systems
Ingram Publishers Services, 2026
978-981-1283-30-7
env. 135.00 CHF
disponible dès avril 2026
AI for Design and Optimization of Cellular Networks
Wiley, 2026
978-1-394-17575-8
166.00 CHF
livrable dans env. 10-20 jours