Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
From Data to Models and Back
From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023. The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods in healthcare; and natural language processing.
April 2025, ca. 165 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-87216-7
This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023. The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods in healthcare; and natural language processing.
April 2025, ca. 165 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-87216-7
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
Model-Based Safety and Assessment
9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05072-4
ca. 81.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
Weitere Titel zum Thema
Data Science and Interactive Visualization Tools for the Analysis of ...
Elsevier, 2026
978-0-443-21961-0
ca. 199.00 CHF
erscheint im Februar
Artificial Intelligence and Machine Learning in Data Science and Analytics
978-1-394-28781-9
ca. 279.00 CHF
erscheint im Januar
Humanizing Artificial Touch
Skin, Sensing, and Structures
Elsevier, 2026
978-0-323-95519-5
ca. 199.00 CHF
erscheint im Januar
Exploring Infant Cry
Medical and Technical Analysis and Signal Processing Perspectives
978-0-443-38347-2
ca. 235.00 CHF
erscheint im März
Integration of Federated Learning and Blockchain for Smart Cities
978-1-394-16645-9
ca. 405.00 CHF
erscheint im Februar
Moving Towards Fully Autonomous and Cost-Effective Surgical Robotic Systems ...
Elsevier, 2026
978-0-443-29894-3
ca. 236.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Green Federated Learning for Sustainable Smart Computing
Wiley, 2026
978-1-394-35565-5
ca. 279.00 CHF
erscheint im Januar
Medium Hot
Images in The Age of Heat
Pan macmillan Ltd., 2026
978-1-80429-803-9
ca. 21.50 CHF
erscheint im Juni
Robotics for Intervention in Healthcare
From Technology to Clinical Practice
Elsevier, 2026
978-0-443-21523-0
ca. 225.00 CHF
erscheint im März
Algorithmic Capital
Resistance in the Age of Artificial Intelligence
Pan macmillan Ltd., 2026
978-1-80429-900-5
ca. 43.50 CHF
erscheint im Juni
Human-Centered AI
Frameworks and Applications
Wiley, 2026
978-1-394-35511-2
ca. 279.00 CHF
erscheint im Januar
Code Chronicles
The Art of Storytelling in Software
Elsevier, 2026
978-0-443-29248-4
ca. 235.00 CHF
erscheint im Mai