Formal Methods and Software Engineering
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on...
EAN: 9789819606160
Structural, Syntactic, and Statistical Pattern Recognition
This book constitutes the proceedings of the Joint IAPR International Workshops on Structural,...
EAN: 9783031805066
Scalable Uncertainty Management
This book constitutes the refereed proceedings of the 16th International Conference on Scalable...
EAN: 9783031762345
Programming Languages and Systems
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and...
EAN: 9789819789429
Analytical Decision Making and Data Envelopment Analysis
This book explores the intersection of data envelopment analysis (DEA) and various analytical...
EAN: 9789819769711
Quantum Networks
While a fully functional quantum internet is still in progress, significant advances have been...
EAN: 9789819762255
R-Calculus, VI: Finite Injury Priority Method
EAN: 9789819758296
Decision Mathematics, Statistical Learning and Data Mining
EAN: 9789819734498
Applications of Evolutionary Computation
EAN: 9783031900648
Applications of Evolutionary Computation
EAN: 9783031900617
Advances in Computer Graphics
The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the...
EAN: 9783031820205
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031753862
Algorithmic Decision Theory
This book constitutes the conference proceedings of the 8th International Conference on...
EAN: 9783031739026
Engineering Multi-Agent Systems
This book constitutes the revised selected papers from the 12th International Workshop on...
EAN: 9783031711510
Quantum Nonlinear Function Obfuscation Theory and Application
This book summarizes the main research results and preliminaries of quantum obfuscation and...
EAN: 9789819767212
Algorithms and Architectures for Parallel Processing
EAN: 9789819615506
Algorithms and Architectures for Parallel Processing
EAN: 9789819615476
Algorithms and Architectures for Parallel Processing
EAN: 9789819615278
Algorithms and Architectures for Parallel Processing
EAN: 9789819615247
Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757822
Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757747
Runtime Verification
This book constitutes the refereed proceedings of the 24th International Conference on Runtime...
EAN: 9783031742330
Accelerating Discoveries in Data Science and Artificial Intelligence II
EAN: 9783031511653
