Measurement, Modelling and Evaluation of Computing Systems
EAN: 9783030430238
Applied Technologies
This first volume of the three-volume set (CCIS 1193, CCIS 1194, and CCIS 1195) constitutes the...
EAN: 9783030425166
Applied Technologies
This second volume of the three-volume set (CCIS 1193, CCIS 1194, and CCIS 1195) constitutes the...
EAN: 9783030425197
Space Information Networks
This book constitutes the proceedings of the 4th International Conference on Space Information...
EAN: 9789811534416
Cyber Physical Systems. Model-Based Design
EAN: 9783030411305
Tools and Algorithms for the Construction and Analysis of Systems
EAN: 9783030452360
From Lambda Calculus to Cybersecurity Through Program Analysis
This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on...
EAN: 9783030411022
High Performance Computing Systems
This book constitutes the refereed proceedings of the 19th Symposium on High Performance...
EAN: 9783030410490
On the Move to Meaningful Internet Systems: OTM 2019 Workshops
EAN: 9783030409067
Data Science
The research papers cover the areas of Advancement of Data Science and Smart City Applications,...
EAN: 9789811528095
Language and Automata Theory and Applications
This book constitutes the proceedings of the 14th International Conference on Language and...
EAN: 9783030406073
Emerging Technologies for Authorization and Authentication
EAN: 9783030397487
Electronic Governance and Open Society: Challenges in Eurasia
This book constitutes the refereed proceedings of the 6th Conference on Electronic Governance and...
EAN: 9783030392956
Learning and Intelligent Optimization
The papers focus on advancedresearch developments in such interconnected fields as mathematical...
EAN: 9783030386283
Human Centered Computing
This book constitutes thoroughly reviewed, revised and selected papers from the 5th International...
EAN: 9783030374280
Advances in Cyber Security
This book presents refereed proceedings of the First International Conference on Advances in...
EAN: 9789811526923
Dynamic Logic. New Trends and Applications
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI...
EAN: 9783030388072
Smart Cities
This book constitutes the thoroughly refereed proceedings of the Second Ibero-American Congress,...
EAN: 9783030388881
Real-time Communication Protocols for Multi-hop Ad-hoc Networks
EAN: 9783030333188
Supercomputing
This book constitutes the refereed proceedings of the 10th International Conference on...
EAN: 9783030380427
Innovations for Community Services
This book constitutes the refereed proceedings of the 20th International Conference on...
EAN: 9783030374839
Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health
EAN: 9789811519246
Applications of Computational Intelligence
This book constitutes the thoroughly refereed proceedings of the Second IEEE Colombian...
EAN: 9783030362102
