Advances in Optimization and Applications
This book constitutes the refereed proceedings of the 12th International Conference on...
EAN: 9783030927103
Performance Evaluation Methodologies and Tools
This book constitutes the refereed conference proceedings of the 14th International Conference on...
EAN: 9783030925109
Introducing Microsoft Quantum Computing for Developers
EAN: 9781484272459
Computational Methods for Deep Learning
Integrating concepts from deep learning, machine learning, and artificial neural networks, this...
EAN: 9783030610838
Understand Mathematics, Understand Computing
In this book the authors aim to endow the reader with an operational, conceptual, and...
EAN: 9783030583781
Domain Decomposition Methods in Science and Engineering XXV
These are the proceedings of the 25th International Conference on Domain Decomposition Methods in...
EAN: 9783030567521
Domain Decomposition Methods in Science and Engineering XXV
These are the proceedings of the 25th International Conference on Domain Decomposition Methods in...
EAN: 9783030567491
Introduction to the Tools of Scientific Computing
EAN: 9783030608101
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 19th International Conference on Software...
EAN: 9783030921231
Optimization, Learning Algorithms and Applications
This book constitutes selected and revised papers presented at the First International Conference...
EAN: 9783030918842
Networked Systems
This book constitutes the revised selected papers of the 9th International Conference on...
EAN: 9783030910136
Well-Quasi Orders in Computation, Logic, Language and Reasoning
This book bridges the gaps between logic, mathematics and computer science by delving into the...
EAN: 9783030302313
Petri Nets for Modeling of Large Discrete Systems
This book offers a new Modular Petri Net as a solution to the vast Petri net models. This book...
EAN: 9789811652028
Bio-Inspired Information and Communications Technologies
EAN: 9783030921620
Performance Engineering and Stochastic Modeling
This book constitutes the refereed proceedings of the 17th European Workshop on Computer...
EAN: 9783030918248
AI Approaches to the Complexity of Legal Systems XI-XII
This book includes revised selected papers from the International Workshops on AI Approaches to...
EAN: 9783030898106
Anti-Differentiation and the Calculation of Feynman Amplitudes
This volume comprises review papers presented at the Conference on Antidifferentiation and the...
EAN: 9783030802189
Advances in Data Science
This volume highlights recent advances in data science, including image processing and...
EAN: 9783030798901
Analytic Combinatorics for Multiple Object Tracking
Since GFs are not widely utilized amongst the tracking community, the book takes the reader from...
EAN: 9783030611934
Formalization of Complex Analysis and Matrix Theory
This book discusses the formalization of mathematical theories centering on complex analysis and...
EAN: 9789811572630