Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Model-Based Safety and Assessment
Model-Based Safety and Assessment
9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings
Herausgegeben von:Katsaros, Panagiotis
November 2025, ca. 395 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-05072-4
November 2025, ca. 395 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-05072-4
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
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in ...
Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05558-3
ca. 132.00 CHF
erscheint im November
Simulation and Synthesis in Medical Imaging
10th International Workshop, SASHIMI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05572-9
ca. 81.00 CHF
erscheint im November
Deep Generative Models
5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05471-5
ca. 91.00 CHF
erscheint im November
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05460-9
ca. 112.00 CHF
erscheint im November
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04699-4
ca. 102.00 CHF
erscheint im November
Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
Springer International Publishing, 2025
978-3-032-05290-2
ca. 112.00 CHF
erscheint im Oktober
Runtime Verification
25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05434-0
ca. 91.00 CHF
erscheint im Oktober
Clinical Image-Based Procedures
14th International Workshop, CLIP 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05478-4
ca. 69.00 CHF
erscheint im Oktober
Weitere Titel zum Thema
Advances in Dependable Systems and Networks
Proceedings of the Twentieth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 30 – July 3, 2025, Brunów, Poland
Springer International Publishing, 2025
978-3-031-92733-1
ca. 262.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Intelligent Transport Systems: Ecology, Safety, Quality, Comfort
Proceedings of ITS ESQC 2024, Volume 2
Springer International Publishing, 2025
978-3-031-87378-2
ca. 216.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Selected Areas in Cryptography – SAC 2024
31st International Conference, Montreal, QC, Canada, August 28–30, 2024, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-031-82851-5
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Cross-Modal Communication Technology
Springer International Publishing, 2026
978-3-032-00956-2
ca. 215.00 CHF
erscheint im Januar
Next Democratic Frontiers for Facial Recognition Technology (FRT)
The Legal, Ethical and Democratic Implications of FRT
Springer International Publishing, 2025
978-3-031-89793-1
ca. 199.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
ca. 262.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Smart Multimedia
4th International Conference, ICSM 2024, Los Angeles, California, USA, March 28–30, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-82474-6
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Reproducible Research in Pattern Recognition
Fifth International Workshop, RRPR 2024, Kolkata, India, December 1, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-97821-0
ca. 146.00 CHF
erscheint im August
Blockchain Basics
A Non-Technical Introduction in 30 Steps
Springer EN, 2026
979-8-8688-1852-3
ca. 83.00 CHF
erscheint im Januar
Navigating the Deepfake Conundrum: A Manager's Roadmap
Springer International Publishing, 2025
978-3-031-90741-8
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erscheint im Oktober