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
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Engineering Safe and Trustworthy Cyber Physical Systems
Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Informations bibliographiques
août 2025, env. 310 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-97536-3
Mots-clés
Informations bibliographiques
août 2025, env. 310 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-97536-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
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
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
Autres titres sur ce thème
Agriculture Value Chain — Challenges and Trends in Academia and Industry
RUC-APS Volume 2
Springer International Publishing, 2025
978-3-031-70744-5
239.00 CHF
livrable dans env. 20-45 jours
Advanced Computing in Industrial Mathematics
17th Annual Meeting of the Bulgarian Section of SIAM, December 20–22, 2022, Sofia, Bulgaria, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-76785-2
238.00 CHF
livrable dans env. 20-45 jours
Generalized Homogeneity in Systems and Control Volume II
Infinite-Dimensional Systems
Springer International Publishing, 2025
978-3-031-77495-9
env. 198.00 CHF
disponible dès juillet 2025
The Semantic Web: ESWC 2024 Satellite Events
Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-78951-9
92.00 CHF
livrable dans env. 20-45 jours
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-74775-5
103.00 CHF
livrable dans env. 20-45 jours
Applied Quantum Computing and Cryptography
Challenges, Opportunities, and Performance Analysis for Algorithms
Springer International Publishing, 2025
978-3-031-77144-6
189.00 CHF
livrable dans env. 20-45 jours
Advanced Computing in Industrial Mathematics
16th Annual Meeting of the Bulgarian Section of SIAM, December 21–23, 2021, Sofia, Bulgaria, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-76781-4
239.00 CHF
livrable dans env. 20-45 jours
Recent Developments in Fractional Calculus: Theory, Applications, and Numerical ...
Springer International Publishing, 2025
978-3-031-84954-1
206.00 CHF
livrable dans env. 20-45 jours
The Semantic Web: ESWC 2024 Satellite Events
Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-78954-0
82.00 CHF
livrable dans env. 20-45 jours
Analytical and Approximate Methods for Complex Dynamical Systems
Springer International Publishing, 2025
978-3-031-77377-8
239.00 CHF
livrable dans env. 20-45 jours
Generating Functions in Engineering and the Applied Sciences
Springer International Publishing, 2025
978-3-031-81826-4
env. 55.90 CHF
disponible dès mai 2025
Complex Analysis and Dynamics in One Variable with Applications
Springer International Publishing, 2025
978-3-031-64998-1
135.00 CHF
livrable dans env. 20-45 jours