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.
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
septembre 2025, env. 291 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-00941-8
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
septembre 2025, env. 291 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-00941-8
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. 102.00 CHF
paraît en mars
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
paraît en mars
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
paraît en mars
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
env. 103.00 CHF
paraît en décembre
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Electronic Voting
10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05035-9
env. 55.90 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part IX
Springer International Publishing, 2025
978-3-032-05113-4
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VIII
Springer International Publishing, 2025
978-3-032-04983-4
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-032-04946-9
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04926-1
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-032-04970-4
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VII
Springer International Publishing, 2025
978-3-032-04980-3
env. 112.00 CHF
paraît en novembre
Autres titres sur ce thème
Excel Power Tools
Unlocking the Power of AI, Python, and Power Automate
Wiley, 2026
978-1-394-28493-1
env. 69.00 CHF
paraît en septembre
Autonomous Vehicle Safety Solutions
Foundations, Technologies, and Prospects for the Future
Elsevier, 2026
978-0-443-33528-0
env. 239.00 CHF
paraît en janvier
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2026
978-3-030-86860-4
env. 168.00 CHF
livrable dans env. 20-45 jours
Harnessing Artificial Intelligence to Ensure Diverse Global Teams
Elsevier, 2026
978-0-443-34135-9
env. 235.00 CHF
paraît en mars
Wie Data Science Unternehmen transformiert
Erkenntnisse aus dem Podcast Data Science mit Milch und Zucker
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48474-3
env. 114.00 CHF
paraît en avril
Digital Technology, Algorithmic Governance and Workplace Democracy
Interrogating the Nordic Model in Practice
Springer International Publishing, 2026
978-3-032-02753-5
env. 206.00 CHF
paraît en janvier
Challenges and Applications of Generative Large Language Models
Elsevier, 2026
978-0-443-33592-1
env. 235.00 CHF
paraît en janvier
Practical AI Governance
Building a Program for Strategy and Oversight
Kogan Page, 2026
978-1-3986-2620-1
env. 55.90 CHF
paraît en mai
AI for Design and Optimization of Cellular Networks
Wiley, 2026
978-1-394-17575-8
env. 166.00 CHF
livrable dans env. 10-20 jours
MC Azure Fundamentals Study Guide
Exam AZ-900
Wiley, 2026
978-1-394-35001-8
env. 69.00 CHF
paraît en janvier
Handbuch Digitale Medien und Methoden
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-36624-7
env. 159.00 CHF
paraît en janvier