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
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data.- Timed systems.- Linear and Non-linear Systems.- Timed Automata.- Special Session on Timed Systems and Probabilities.
août 2019, env. 301 pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer EN
978-3-030-29661-2
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data.- Timed systems.- Linear and Non-linear Systems.- Timed Automata.- Special Session on Timed Systems and Probabilities.
août 2019, env. 301 pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer EN
978-3-030-29661-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
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2026
978-3-032-05655-9
env. 69.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
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
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
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
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
Autres titres sur ce thème
AI-Driven Smart Healthcare
Powered by Hyperscale Computing and Next Generation Networks
978-1-394-29703-0
env. 165.00 CHF
paraît en janvier
Deep Learning Models towards Health Informatics Management
Foundations, Challenges and Opportunities
Taylor and Francis, 2026
978-1-032-39292-9
env. 225.00 CHF
paraît en janvier
Deep Learning Meets FPGA
Efficient Signal Processing Solutions
978-1-394-35771-0
env. 199.00 CHF
paraît en juin
Human-Centered AI
Frameworks and Applications
Wiley, 2026
978-1-394-35511-2
env. 279.00 CHF
paraît en janvier
Modeling Religion
Simulating the Transformation of Worldviews, Lifeways, and Civilizations
Bloomsbury, 2026
978-1-350-36734-0
env. 49.90 CHF
paraît en janvier
The Stack, 10th anniversary edition with new preface by the author
On Software and Sovereignty
MIT Press, 2026
978-0-262-55391-9
env. 42.50 CHF
paraît en février
Decision Analytics in Manufacturing and the Supply Chain
978-1-394-34683-7
env. 259.00 CHF
paraît en janvier
Transforming Digital Commerce
Using AI for Intelligent Business Analytics
Wiley, 2026
978-1-394-35561-7
env. 259.00 CHF
paraît en janvier
Mathematical Logic, Computability, Complexity, And Randomness: Proceedings Of ...
Ingram Publishers Services, 2026
978-981-9815-93-7
env. 149.00 CHF
paraît en janvier
Managing Sustainable Operations of Logistics and Supply Chain Management
Trends and Future Challenges
978-1-394-23851-4
env. 275.00 CHF
paraît en janvier