LATIN 2022: Theoretical Informatics
This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical...
EAN: 9783031206238
Swarm Intelligence
This book constitutes the proceedings of the 13th International Conference on Swarm Intelligence,...
EAN: 9783031201752
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at...
EAN: 9783031198489
Multigrammatical Framework for Knowledge-Based Digital Economy
EAN: 9783031138577
Physics of Computing
This book presents a self-contained introduction to the physics of computing, by addressing the...
EAN: 9783030871109
Mathematical Control and Numerical Applications
This book presents some sufficient mathematical content with expressive result. The main topics...
EAN: 9783030834449
Machine Learning with Quantum Computers
This book offers an introduction into quantum machine learning research, covering approaches that...
EAN: 9783030831004
Signed Distance Measure in Fuzzy Statistical Analysis
The main focus of this book is on presenting advances in fuzzy statistics, and on proposing a...
EAN: 9783030769185
Neural Computing for Advanced Applications
EAN: 9789811961342
Discrete Geometry and Mathematical Morphology
This book constitutes the proceedings of the Second IAPR International Conference on Discrete...
EAN: 9783031198960
Resource Allocation in Network Function Virtualization
EAN: 9789811948145
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: 9789811652059
Graph Drawing and Network Visualization
EAN: 9783031222023
Computer and Communication Engineering
This book constitutes refereed proceedings of the 2nd International Conference on Computer and...
EAN: 9783031174216
Systematic Innovation Partnerships with Artificial Intelligence and Information Technology
This book constitutes the refereed proceedings of the 22nd International TRIZ Future Conference...
EAN: 9783031172878
Mathematics of Program Construction
This book constitutes the refereed proceedings of the 14th International Conference on...
EAN: 9783031169113
Logic-Based Program Synthesis and Transformation
EAN: 9783031167669
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 19th International Conference on Quantitative...
EAN: 9783031163357
Mathematical Optimization Theory and Operations Research: Recent Trends
This book constitutes refereed proceedings of the 21st International Conference on Mathematical...
EAN: 9783031162237
Business Process Management
This book constitutes the refereed proceedings of the 20th International Conference on Business...
EAN: 9783031161025
Algorithmic Aspects in Information and Management
This book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects...
EAN: 9783031160806
Graph-Theoretic Concepts in Computer Science
This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International...
EAN: 9783031159138
