Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
juin 2025, env. 221 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-95496-2
juin 2025, env. 221 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-95496-2
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
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Bridging Regulatory Science and Medical Imaging Evaluation; and Distributed, ...
First International Workshop, BRIDGE 2025, and 6th International Workshop, DeCaF 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23 and September 27, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05662-7
env. 81.00 CHF
paraît en novembre
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
env. 91.00 CHF
paraît en novembre
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05460-9
env. 112.00 CHF
paraît en novembre
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
env. 102.00 CHF
paraît en novembre
Artificial Intelligence and Soft Computing
24th International Conference, ICAISC 2025, Zakopane, Poland, June 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-03704-6
env. 112.00 CHF
paraît en octobre
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2025
978-3-032-05655-9
env. 69.00 CHF
paraît en octobre
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
env. 132.00 CHF
paraît en octobre
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
env. 81.00 CHF
paraît en octobre
Autres titres sur ce thème
Authentic Marketing
Combining Human Thinking and Creativity with Technology to Inspire Audiences
Kogan Page, 2026
978-1-3986-2586-0
env. 159.00 CHF
paraît en juin
Algorithmic Capital
Resistance in the Age of Artificial Intelligence
Pan macmillan Ltd., 2026
978-1-80429-900-5
env. 43.50 CHF
paraît en juin
Practical Generative AI: From Concept to Deployment
Building and Deploying Ethical AI-Powered Solutions
Springer EN, 2026
979-8-8688-1478-5
env. 103.00 CHF
paraît en mars
Exploring Infant Cry
Medical and Technical Analysis and Signal Processing Perspectives
978-0-443-38347-2
env. 235.00 CHF
paraît en mars
Artificial Intelligence and Machine Learning for Safety-Critical Systems
A Comprehensive Guide
Elsevier, 2026
978-0-443-36597-3
env. 229.00 CHF
paraît en mars
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
AI for Public Relations
A How-To Guide for Implementation and Management
Kogan Page, 2026
978-1-3986-2505-1
env. 159.00 CHF
paraît en mai
What Art Is Now
Creativity in the Age of AI
Bloomsbury, 2026
979-8-7651-5176-1
env. 127.00 CHF
paraît en mars
Swarm Robotics Solutions for National Security and Marine Forensics
Elsevier, 2026
978-0-443-33621-8
env. 275.00 CHF
paraît en mars
Obsolete
Power, Profit, And The Race For Machine Superintelligence
Ingram Publishers Services, 2026
978-1-68219-630-4
env. 26.90 CHF
paraît en avril