Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
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
September 2025, ca. 291 Seiten, Lecture Notes in Computer Science, Englisch
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
September 2025, ca. 291 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-00941-8
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigenConsolidated 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
ca. 102.00 CHF
erscheint im März
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
ca. 102.00 CHF
erscheint im März
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
ca. 102.00 CHF
erscheint im März
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
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
ca. 55.90 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im November
Weitere Titel zum Thema
The Shortest History of AI
Old Street Publishing, 2026
978-1-917532-11-2
ca. 18.50 CHF
erscheint im Januar
Managing Sustainable Operations of Logistics and Supply Chain Management
Trends and Future Challenges
978-1-394-23851-4
ca. 275.00 CHF
erscheint im Januar
Essentials of Big Data Analytics
Applications in R and Python
978-0-443-45206-2
ca. 235.00 CHF
erscheint im Februar
Federated Learning for the Metaverse
Applications in Virtual Environments
Elsevier, 2026
978-0-443-33893-9
ca. 235.00 CHF
erscheint im Januar
MC Azure Fundamentals Study Guide
Exam AZ-900
Wiley, 2026
978-1-394-35001-8
ca. 69.00 CHF
erscheint im Januar
Artificial Security and the Politics of Hype in the EU
Springer International Publishing, 2026
978-3-031-44016-8
ca. 168.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advanced Intelligence Methods for Data Science and Optimization
Elsevier, 2026
978-0-443-28940-8
ca. 235.00 CHF
erscheint im April
A Brief History of Computing
Springer International Publishing, 2026
978-3-032-04254-5
ca. 63.00 CHF
erscheint im Januar
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2026
978-3-030-86860-4
ca. 168.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 114.00 CHF
erscheint im April
Psychophysics and Experimental Phenomenology of Pattern Cognition
Elsevier, 2026
978-0-443-40455-9
ca. 229.00 CHF
erscheint im Januar