Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings
Oktober 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-05791-4
Oktober 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-05791-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
Pattern Recognition Applications and Methods
13th International Conference, ICPRAM 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers
Springer International Publishing, 2026
978-3-032-06006-8
ca. 81.00 CHF
erscheint im Januar
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Sports Analytics
Second International Conference, ISACE 2025, Shanghai, China, September 26–27, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-06166-9
ca. 91.00 CHF
erscheint im Dezember
Machine Learning and Knowledge Discovery in Databases. Research Track
European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-032-06105-8
ca. 102.00 CHF
erscheint im Dezember
Machine Learning and Knowledge Discovery in Databases. Research Track and ...
European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part VIII
978-3-662-72242-8
ca. 102.00 CHF
erscheint im Dezember
Machine Learning and Knowledge Discovery in Databases. Applied Data Science ...
European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part X
Springer International Publishing, 2025
978-3-032-06128-7
ca. 102.00 CHF
erscheint im Dezember
Machine Learning and Knowledge Discovery in Databases. Research Track
European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-032-06077-8
ca. 102.00 CHF
erscheint im Dezember
Machine Learning and Knowledge Discovery in Databases. Applied Data Science ...
European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part IX
Springer International Publishing, 2025
978-3-032-06117-1
ca. 102.00 CHF
erscheint im Dezember
Automated Reasoning with Analytic Tableaux and Related Methods
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-06084-6
ca. 55.90 CHF
erscheint im Dezember
Weitere Titel zum Thema
Introduction to Computational Chemistry
Methods and Applications
Elsevier, 2026
978-0-443-29921-6
ca. 199.00 CHF
erscheint im Mai
Artificial Intelligence and International Security
Redefining Arms Races and Contemporary Warfare
Ingram Publishers Services, 2026
978-1-5261-9616-3
ca. 149.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Quantum Machine Learning (QML): Platform, Tools and Applications: Volume 140
Elsevier, 2026
978-0-443-22382-2
ca. 205.00 CHF
erscheint im Februar
I Think We Should Kill Other People
The funniest serial killer thriller full of twists and turns you'll read all year
Bloomsbury, 2026
978-1-0359-2076-1
ca. 18.50 CHF
erscheint im April
Management in der Radiologie
Controlling, Qualitätsmanagement, Digitalisierung
Springer, 2026
978-3-662-64779-0
ca. 128.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Connected Diagnoses
IoT, Healthcare, and Digital Forensics
Elsevier, 2026
978-0-443-38299-4
ca. 229.00 CHF
erscheint im März
What Art Is Now
Creativity in the Age of AI
Bloomsbury, 2026
979-8-7651-5176-1
ca. 127.00 CHF
erscheint im März
AI and Data Science in Precision Medicine, Predictive Analytics, and Medical ...
Elsevier, 2026
978-0-443-36554-6
ca. 235.00 CHF
erscheint im März
AI for Public Relations
A How-To Guide for Implementation and Management
Kogan Page, 2026
978-1-3986-2503-7
ca. 51.50 CHF
erscheint im Mai
GenAI in Higher Education
Redefining Teaching and Learning
Bloomsbury, 2026
978-1-350-53578-7
ca. 46.90 CHF
erscheint im Januar
Embedded System and GUI Development using MATLAB for Engineering Applications
978-1-394-28811-3
ca. 279.00 CHF
erscheint im Januar
Intelligent IoT-based Diagnostic and Assistive Systems for Neurological ...
Elsevier, 2026
978-0-443-34133-5
ca. 259.00 CHF
erscheint im März