Ad-Hoc, Mobile, and Wireless Networks
This book constitutes the refereed proceedings of the 18th International Conference on Ad-Hoc,...
EAN: 9783030318307
Fundamentals of Software Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the 8th...
EAN: 9783030315160
From Reactive Systems to Cyber-Physical Systems
The contributions cover a wide spectrum of the topics related to Scott's research scientific...
EAN: 9783030315139
Advanced Informatics for Computing Research
?This two-volume set (CCIS 1075 and CCIS 1076) constitutes the refereed proceedings of the Third...
EAN: 9789811501104
Model Checking Software
This book constitutes the refereed proceedings of the 26th International Symposium on Model...
EAN: 9783030309220
Software Engineering and Methodology for Emerging Domains
This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC...
EAN: 9789811503092
Tests and Proofs
This book constitutes the refereed proceedings of the 13th International Conference on Tests and...
EAN: 9783030311568
Flexible Query Answering Systems
This book constitutes the refereed proceedings of the 13th International Conference on Flexible...
EAN: 9783030276287
Queueing Theory and Network Applications
This book constitutes the proceedings of the 14th International Conference on Queueing Theory and...
EAN: 9783030271800
Reachability Problems
This book constitutes the refereed proceedings of the 13th International Conference on...
EAN: 9783030308056
Transactions on Computational Science XXXIV
The LNCS journal Transactions on Computational Science reflects recent developments in the field...
EAN: 9783662599570
Software Architecture
This book constitutes the refereed proceedings of the 13th European Conference on Software...
EAN: 9783030299828
Software Technology: Methods and Tools
?This book constitutes the refereed proceedings of the 51st International Conference on Software...
EAN: 9783030298517
Automated Deduction – CADE 27
This book constitutes the proceeding of the 27th International Conference on Automated Deduction,...
EAN: 9783030294359
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 26th European Conference on Systems,...
EAN: 9783030280048
Creativity in Intelligent Technologies and Data Science
This two-volume set constitutes the proceedings of the Third Conference on Creativity in...
EAN: 9783030297428
Advanced Parallel Processing Technologies
This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel...
EAN: 9783030296100
Cloud Computing and Services Science
This book constitutes extended, revised and selected papers from the 8th International Conference...
EAN: 9783030291921
Automated Reasoning with Analytic Tableaux and Related Methods
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning...
EAN: 9783030290252
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 12th International Conference on the...
EAN: 9783030292379
OpenMP: Conquering the Full Hardware Spectrum
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019,...
EAN: 9783030285951
Parallel Computational Technologies
This book constitutes the refereed proceedings of the 13th International Conference on Parallel...
EAN: 9783030281625
Embedded Computer Systems: Architectures, Modeling, and Simulation
This book constitutes the refereed proceedings of the 19th International Conference on Embedded...
EAN: 9783030275617
Big Data Analytics and Knowledge Discovery
This book constitutes the refereed proceedings of the 21st International Conference on Big Data...
EAN: 9783030275198
