Formal Verification of Structurally Complex Multipliers
This book addresses the challenging tasks of verifying and debugging structurally complex...
EAN: 9783031245732
Digital Quantum Information Processing with Continuous-Variable Systems
EAN: 9789811982903
Genetic and Evolutionary Computing
This second volume of conference proceedings contains selected papers presented at ICGEC 2023,...
EAN: 9789819994113
Intelligent Software Defect Prediction
Based on the results of SDP analyses, developers can subsequently conduct defect localization and...
EAN: 9789819928415
Mathematical Modeling and Supercomputer Technologies
This book constitutes selected and revised papers from the 23rd International Conference on...
EAN: 9783031524691
Artificial Intelligence. ECAI 2023 International Workshops
This volume constitutes the refereed proceedings presented at the international workshops of the...
EAN: 9783031504846
Advances in Computer Graphics
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics...
EAN: 9783031500688
High Performance Computing in Science and Engineering '21
Presenting findings of one of Europe’s leading systems, this volume covers a wide variety of...
EAN: 9783031179396
Introduction to Computation in Physical Sciences
The authors present scientific problem-solving using computation and aim to increase...
EAN: 9783031176487
Reflections on the Foundations of Probability and Statistics
The reader is invited to share this celebration of Teddy Seidenfeld’s work uncovering truths...
EAN: 9783031154386
Uncertainty Analyses in Environmental Sciences and Hydrogeology
The methods are illustrated for a broad spectrum of models, from non-differential I/O models to...
EAN: 9789819962402
Formal Aspects of Component Software
This book constitutes the refereed proceedings of the 19th International Conference on Formal...
EAN: 9783031521829
Dynamic Logic. New Trends and Applications
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic...
EAN: 9783031517761
Verification, Model Checking, and Abstract Interpretation
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International...
EAN: 9783031505201
Artificial Intelligence. ECAI 2023 International Workshops
This volume constitutes the refereed proceedings presented at the international workshops of the...
EAN: 9783031503955
Advances in Computer Graphics
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics...
EAN: 9783031500770
Advances in Computer Graphics
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics...
EAN: 9783031500749
Advances in Computer Graphics
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics...
EAN: 9783031500718
Graph Drawing and Network Visualization
This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International...
EAN: 9783031492747
Graph Drawing and Network Visualization
This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International...
EAN: 9783031492716
Quantum Machine Learning
Quantum mechanics and machine learning may seem theoretically disparate, but their link becomes...
EAN: 9783031442254
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 9th International Symposium on Dependable Software...
EAN: 9789819986637
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the 26th International Conference on Practical...
EAN: 9783031520372
