NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
juin 2025, env. 442 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-93705-7
juin 2025, env. 442 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-93705-7
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutConsolidated 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
env. 102.00 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
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
env. 81.00 CHF
paraît en janvier
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Sports Analytics
Second International Conference, ISACE 2025, Shanghai, China, September 26–27, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-06166-9
env. 91.00 CHF
paraît en décembre
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
env. 102.00 CHF
paraît en décembre
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
env. 102.00 CHF
paraît en décembre
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
env. 102.00 CHF
paraît en décembre
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
env. 102.00 CHF
paraît en décembre
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
env. 102.00 CHF
paraît en décembre
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
env. 55.90 CHF
paraît en décembre
Autres titres sur ce thème
Agentic Hyper-Personalized Dimensions
Six Dimensions of Business Dark Data
Springer EN, 2026
979-8-8688-1876-9
env. 83.00 CHF
paraît en janvier
Edge AI
Foundations, Techniques and Applications
Wiley, 2026
978-1-394-35500-6
env. 279.00 CHF
paraît en janvier
Digital Twin and Digital Triplet Technologies
Human Machine Integration in Industry 5.0
978-1-394-30180-5
env. 285.00 CHF
paraît en janvier
Artificial Intelligence and Machine Learning in Data Science and Analytics
978-1-394-28781-9
env. 279.00 CHF
paraît en janvier
Raising AI
An Essential Guide to Parenting Our Future
University Presses, 2026
978-0-262-05432-4
env. 30.50 CHF
paraît en mars
Introduction to Computational Chemistry
Methods and Applications
Elsevier, 2026
978-0-443-29921-6
env. 199.00 CHF
paraît en mai
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
env. 18.50 CHF
paraît en avril
Intelligent IoT-based Diagnostic and Assistive Systems for Neurological ...
Elsevier, 2026
978-0-443-34133-5
env. 259.00 CHF
paraît en mars
Fully Actuated System Approach
Volume I. Global Fully Actuated Systems
Springer EN, 2026
978-981-9683-94-9
env. 69.00 CHF
paraît en janvier
MC Azure Fundamentals Study Guide
Exam AZ-900
Wiley, 2026
978-1-394-35001-8
env. 69.00 CHF
paraît en janvier
Human-Centered AI
Frameworks and Applications
Wiley, 2026
978-1-394-35511-2
env. 279.00 CHF
paraît en janvier