Theory of Cryptography
The two-volume set LNCS 11891 and 11892 constitutes the proceedings of the 17th International...
EAN: 9783030360290
Quantum Interaction
This book constitutes the thoroughly refereed post-conference proceedings of the 10th...
EAN: 9783030358945
Web and Internet Economics
This book constitutes the proceedings of the 14th International Conference on Web and Internet...
EAN: 9783030353889
Statistical Mechanical Interpretation of Algorithmic Information Theory
In this book, a statistical mechanical interpretation of AIT is introduced while explaining the...
EAN: 9789811507380
Algorithms for Sensor Systems
This book constitutes revised selected papers from the 15th International Symposium on Algorithms...
EAN: 9783030344047
Verification and Evaluation of Computer and Communication Systems
EAN: 9783030350918
Pattern Recognition and Machine Intelligence
The two-volume set of LNCS 11941 and 11942 constitutes the refereed proceedings of the 8th...
EAN: 9783030348687
Analysis of Experimental Algorithms
This book constitutes the refereed post-conference proceedings of the Special Event on the...
EAN: 9783030340285
Artificial Intelligence XXXVI
This book constitutes the proceedings of the 39th SGAI International Conference on Innovative...
EAN: 9783030348847
Theory and Practice of Natural Computing
This book constitutes the refereed proceedings of the 8th International Conference on Theory and...
EAN: 9783030344993
Advances in Soft Computing
This volume constitutes the proceedings of the 18th Mexican Conference on Artificial...
EAN: 9783030337483
Mathematical Optimization Theory and Operations Research
This book constitutes revised and selected papers from the 18th International Conference on...
EAN: 9783030333935
High-Performance Computing and Big Data Analysis
This book constitutes revised and selected papers from the Second International Congress on...
EAN: 9783030334949
Fast Fourier Transform Algorithms for Parallel Computers
Following an introduction to the basis of the fast Fourier transform (FFT), this book focuses on...
EAN: 9789811399640
Predictive Intelligence in Medicine
This book constitutes the proceedings of the Second International Workshop on Predictive...
EAN: 9783030322809
From Software Engineering to Formal Methods and Tools, and Back
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these...
EAN: 9783030309848
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 17th International Symposium on Automated...
EAN: 9783030317836
Advanced Informatics for Computing Research
This two-volume set (CCIS 1075 and CCIS 1076) constitutes the refereed proceedings of the Third...
EAN: 9789811501074
Computational Methods in Systems Biology
This book constitutes the refereed proceedings of the 17th International Conference on...
EAN: 9783030313036
Formal Methods – The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019,...
EAN: 9783030309411
Model Checking Software
This book constitutes the refereed proceedings of the 26th International Symposium on Model...
EAN: 9783030309220
Graph-Theoretic Concepts in Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic...
EAN: 9783030307851
