Diagrammatic Representation and Inference
This book constitutes the refereed proceedings of the 13th International Conference on the Theory...
EAN: 9783031151453
Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods
These techniques are unique for the discretisation of first-kind integral equations since the...
EAN: 9783030792855
Statistical Reliability Engineering
This book presents the state-of-the-art methodology and detailed analytical models and methods...
EAN: 9783030769062
Principles of High-Performance Processor Design
This book describes how we can design and make efficient processors for high-performance...
EAN: 9783030768737
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 27th International Conference on Formal Methods for...
EAN: 9783031150074
Computer Algebra in Scientific Computing
This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in...
EAN: 9783031147876
Machine Learning and Knowledge Extraction
This book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG...
EAN: 9783031144622
Machines, Computations, and Universality
MCU explores computation in the setting of various discrete models (Turing machines, register...
EAN: 9783031135019
Geometric Challenges in Isogeometric Analysis
A variety of research topics in this context are covered, including (i) high-quality spline...
EAN: 9783030923129
CISO’s Next Frontier
Advanced security topics such as secure remote work, data security, network security, application...
EAN: 9783030753566
Exploration of Novel Intelligent Optimization Algorithms
This book constitutes the refereed proceedings of the 12th International Symposium, ISICA 2021,...
EAN: 9789811941085
Rewriting Logic and Its Applications
This book constitutes selected papers from the refereed proceedings of the 14th International...
EAN: 9783031124402
Advances in Computer Games
This book constitutes the refereed post-conference proceedings of the 17th International...
EAN: 9783031114878
Operations Research and Enterprise Systems
This book includes extended and revised versions of selected papers from the 9th and 10th edition...
EAN: 9783031107245
Computational Science and Its Applications – ICCSA 2022 Workshops
Computational and Applied Mathematics (CAM 2022), Computational and Applied Statistics (CAS...
EAN: 9783031105616
Introduction to Inverse Problems for Differential Equations
This book presents a systematic exposition of the main ideas and methods in treating inverse...
EAN: 9783030794293
Reverse Mathematics
Reverse mathematics studies the complexity of proving mathematical theorems and solving...
EAN: 9783031113666
Knowledge Science, Engineering and Management
The three-volume sets constitute the refereed proceedings of the 15th International Conference on...
EAN: 9783031109829
Coalgebraic Methods in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 16th...
EAN: 9783031107351
Lattice Rules
Lattice rules are a powerful and popular form of quasi-Monte Carlo rules based on...
EAN: 9783031099502
Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint...
EAN: 9783031107689
Information Theory
This eighteenth volume in the Poincaré Seminar Series provides a thorough description of...
EAN: 9783030814823
