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
Semantic Web: ESWC 2022 Satellite Events
During ESWC 2022, the following ten workshops took place:10th Linked Data in Architecture and...
EAN: 9783031116087
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
Computational Engineering - Introduction to Numerical Methods
EAN: 9783030760298
Systems, Patterns and Data Engineering with Geometric Calculi
The intention of this collection agrees with the purposes of the homonymous mini-symposium (MS)...
EAN: 9783030744885
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 12th International Symposium on Foundations...
EAN: 9783031113208
