Sustainable Energy for Smart Cities
This book constitutes the refereed post-conference proceedings of the Second EAI International...
EAN: 9783030735845
Cognitive Radio-Oriented Wireless Networks
This book constitutes the refereed proceedings of the 15th International Conference on Cognitive...
EAN: 9783030734220
Formal Methods – Fun for Everybody
This volume constitutes the post-workshop proceedings of the First International Workshop on...
EAN: 9783030713737
Analysis and Design of Nonlinear Systems in the Frequency Domain
EAN: 9783030708320
Theoremus
A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries...
EAN: 9783030683740
Artificial Intelligence and Machine Learning
This book contains a selection of the best papers of the 31st Benelux Conference on Artificial...
EAN: 9783030651534
Search for ExtraTerrestrial Intelligence
This book presents the latest knowledge of the newly discovered Earth-like exoplanets and reviews...
EAN: 9783030638054
Mathematical Structures of Ergodicity and Chaos in Population Dynamics
Considered population dynamics models are still in the interest of researchers, and even this...
EAN: 9783030576806
Mathematical Research for Blockchain Economy
EAN: 9783030371128
Dynamic Tractable Reasoning
By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic...
EAN: 9783030362355
Knowledge Graphs and Semantic Web
This book constitutes the thoroughly refereed proceedings of the Third Iberoamerican Conference,...
EAN: 9783030913045
Mathematical Reasoning: The History and Impact of the DReaM Group
Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable...
EAN: 9783030778781
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production
This book constitutes selected revised and extended papers from the 10th International Conference...
EAN: 9783030668945
Policy Decision Modeling with Fuzzy Logic
This book introduces the concept of policy decision emergence and its dynamics at the sub...
EAN: 9783030626273
Theory and Applications of Time Series Analysis
This book presents a selection of peer-reviewed contributions on the latest advances in time...
EAN: 9783030562182
Discrete Mathematics and Applications
Advances in discrete mathematics are presented in this book with applications in theoretical...
EAN: 9783030558598
Discrete and Computational Geometry, Graphs, and Games
This book constitutes the thoroughly refereed post-conference proceedings of the 21st Japanese...
EAN: 9783030900472
Relational and Algebraic Methods in Computer Science
This book constitutes the proceedings of the 19th International Conference on Relational and...
EAN: 9783030887001
Unconventional Computation and Natural Computation
This book constitutes the proceedings of the 19th International Conference on Unconventional...
EAN: 9783030879921
Formal Methods in Outer Space
His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award,...
EAN: 9783030873479
Graph-Theoretic Concepts in Computer Science
EAN: 9783030868376
