Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Concurrent Programming, Open Systems and Formal Methods
Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
octobre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-05290-2
octobre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-05290-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
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 novembre
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
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
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 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
Runtime Verification
25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05434-0
env. 91.00 CHF
paraît en octobre
Clinical Image-Based Procedures
14th International Workshop, CLIP 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05478-4
env. 69.00 CHF
paraît en octobre
Autres titres sur ce thème
Radio Frequency and Microwave Design for Next Generation Wireless Applications
Taylor and Francis, 2026
978-1-032-82121-4
env. 345.00 CHF
paraît en janvier
Software Business
15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 18–20, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-85848-2
env. 103.00 CHF
livrable dans env. 20-45 jours
Bluetooth LE Audio
Fundamental to Recent Advances
Taylor and Francis, 2026
978-1-032-96619-9
env. 109.00 CHF
paraît en janvier
Practical Ruby Gems
Installation, Distribution and Beyond
Springer EN, 2026
979-8-8688-1801-1
env. 63.00 CHF
paraît en janvier
Digital Twin Technology for Smart Grid
Springer International Publishing, 2025
978-3-031-90098-3
env. 56.90 CHF
livrable dans env. 20-45 jours
Blockchain-Based Data Security in Heterogeneous Communications Networks
Springer International Publishing, 2025
978-3-031-52479-0
env. 179.00 CHF
livrable dans env. 20-45 jours
Roadmap for DevOps in Cyber-physical systems
Challenges and Future Directions (Communications of Shonan Meetings)
Springer EN, 2026
978-981-9517-85-5
env. 178.00 CHF
paraît en février
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-243621-0
env. 76.00 CHF
livrable dans env. 10-20 jours
Blockchain Transformations
Navigating the Decentralized Protocols Era
Springer International Publishing, 2025
978-3-031-49595-3
env. 97.00 CHF
livrable dans env. 20-45 jours
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
env. 262.00 CHF
livrable dans env. 20-45 jours
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
From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-87216-7
env. 147.00 CHF
livrable dans env. 20-45 jours