Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.
The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions.
They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.
Oktober 2025, ca. 271 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-00346-1
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.
The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions.
They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.
Oktober 2025, ca. 271 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-00346-1
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
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
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
ca. 91.00 CHF
erscheint im November
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05460-9
ca. 112.00 CHF
erscheint im November
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
ca. 102.00 CHF
erscheint im November
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
ca. 112.00 CHF
erscheint im Oktober
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
ca. 81.00 CHF
erscheint im Oktober
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
ca. 132.00 CHF
erscheint im Oktober
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
ca. 81.00 CHF
erscheint im Oktober
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2025
978-3-032-05655-9
ca. 69.00 CHF
erscheint im Oktober
Weitere Titel zum Thema
Tiny Machine Learning: Design Principles and Applications
978-1-394-29454-1
ca. 179.00 CHF
erscheint im Februar
An Introduction to String Algorithms
University Presses, 2026
978-0-691-27453-9
ca. 95.00 CHF
erscheint im Mai
Modern Cryptography
From RSA to Zero-Knowledge and Beyond
978-3-662-67442-0
ca. 96.00 CHF
erscheint im März
Theoretical and Computational Materials Science: Advances and Applications
Springer International Publishing, 2026
978-3-032-04318-4
ca. 273.00 CHF
erscheint im Februar
Federated Learning for the Metaverse
Applications in Virtual Environments
Elsevier, 2026
978-0-443-33893-9
ca. 235.00 CHF
erscheint im Januar
Big Data Analysis and Application of Power Battery Operation Safety
Springer EN, 2026
978-981-9643-98-1
ca. 198.00 CHF
erscheint im Februar
Global Digital Divides in the COVID-19 Era
Purposeful Use of the Internet and Technologies
De Gruyter, 2026
978-3-11-079377-2
ca. 127.00 CHF
erscheint im Januar
Gibbs Measures In Machine Learning
Ingram Publishers Services, 2026
978-981-9814-56-5
ca. 149.00 CHF
erscheint im April
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
Signal Processing Roadmap
Technologies, Applications, and Future Directions
Elsevier, 2026
978-0-443-33172-5
ca. 255.00 CHF
erscheint im März