NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Juni 2025, ca. 442 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-93705-7
Juni 2025, ca. 442 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-93705-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
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. 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. 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
Reconstruction and Imaging Motion Estimation, and Graphs in Biomedical Image ...
First International Workshop, RIME 2025, and 7th International Workshop, GRAIL 2025, Daejeon, South Korea, September 27, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-06102-7
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 VII
Springer International Publishing, 2025
978-3-032-06108-9
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
Weitere Titel zum Thema
Corporate Digital Transformation
Grundlagen, Prinzipien & Einführung des CODIT-Frameworks
Springer, 2026
978-3-662-71715-8
ca. 77.00 CHF
erscheint im Februar
AI and Data Science in Medical Research
Elsevier, 2026
978-0-443-27638-5
ca. 235.00 CHF
erscheint im März
AI Native
Das Managementbuch für das KI-Zeitalter
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48291-6
ca. 52.50 CHF
erscheint im Juni
Exploring Infant Cry
Medical and Technical Analysis and Signal Processing Perspectives
978-0-443-38347-2
ca. 235.00 CHF
erscheint im März
GenAI in Higher Education
Redefining Teaching and Learning
Bloomsbury, 2026
978-1-350-53578-7
ca. 46.90 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
MC Azure Fundamentals Study Guide
Exam AZ-900
Wiley, 2026
978-1-394-35001-8
ca. 69.00 CHF
erscheint im Januar
The AI Conundrum
Harnessing the Power of AI for Your Organization—Profitably and Safely
University Presses, 2026
978-0-262-05396-9
ca. 43.50 CHF
erscheint im Februar
Artificial Intelligence and Machine Learning for Safety-Critical Systems
A Comprehensive Guide
Elsevier, 2026
978-0-443-36597-3
ca. 229.00 CHF
erscheint im März
Practical Generative AI: From Concept to Deployment
Building and Deploying Ethical AI-Powered Solutions
Springer EN, 2026
979-8-8688-1478-5
ca. 103.00 CHF
erscheint im März
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
ca. 103.00 CHF
erscheint im Februar