Digital Twins: Basics and Applications
This book comprehensively introduces readers to Digital Twins, from the basic concepts, core...
EAN: 9783031114007
Intelligent Human Computer Interaction
This book constitutes the refereed proceedings of the 14th International Conference on...
EAN: 9783031271984
IoT Technologies for HealthCare
This book constitutes the refereed proceedings of the 9th EAI International Conference on IoT...
EAN: 9783031286629
Software Engineering and Formal Methods
The papers cover a large variety of topics, including testing, formal verification, program...
EAN: 9783030304454
Artificial Intelligence and Cognitive Science
This open access book constitutes selected papers presented during the 30th Irish Conference on...
EAN: 9783031264375
Content Distribution for Mobile Internet: A Cloud-based Approach
Content distribution, i.e., distributing digital content from one node to another node or...
EAN: 9789811969812
Data Center Networking
It first summarizes the developing trend of DCNs, and reports four novel DCNs, including a...
EAN: 9789811693700
Ubiquitous Networking
This book constitutes the refereed proceedings of the 8th International Symposium, UNet 2022,...
EAN: 9783031294181
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
EAN: 9783031262357
Machine Learning, Optimization, and Data Science
EAN: 9783031255984
Computer Performance Engineering
This book constitutes the refereed proceedings of the 18th European Workshop on Computer...
EAN: 9783031250484
RoboCup 2022: Robot World Cup XXV
This book constitutes the proceedings of the 25th RoboCup International Symposium which was held...
EAN: 9783031284687
Verified Software. Theories, Tools and Experiments.
The papers describe software verification efforts that involve collaboration, theory unification,...
EAN: 9783031258022
Human Centered Computing
The conference focuses on the following three main themes as follows: Data such as Data...
EAN: 9783031237409
Advances in Service-Oriented and Cloud Computing
EAN: 9783031232978
Advancements in Smart Computing and Information Security
This two-volume constitutes the refereed proceedings of the First International Conference on...
EAN: 9783031230943
Interactive Collaborative Robotics
This book constitutes the proceedings of the 7th International Conference on Interactive...
EAN: 9783031236082
Supercomputing
This book constitutes the refereed proceedings of the 8th Russian Supercomputing Days on...
EAN: 9783031229404
Principles of Systems Design
Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his...
EAN: 9783031223365
Metaverse – METAVERSE 2022
The papers cover topics in the field of Advertising Services, Banking Services, Broadcasting &...
EAN: 9783031235177
Artificial Intelligence and Data Science
This book constitutes selected papers presented at the First International Conference on...
EAN: 9783031213847
Trends in Functional Programming
This book constitutes revised selected papers from the 23rd International Symposium on Trends in...
EAN: 9783031213137