Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous...
EAN: 9783031637896
25th European Conference on Integrated Optics
EAN: 9783031633775
Combinatorial Algorithms
This book constitutes the refereed proceedings of the 35th International Workshop on...
EAN: 9783031630200
Metaheuristics
This volume constitutes the refereed proceedings of Metaheuristics on 15th International...
EAN: 9783031629211
Metaheuristics
This volume constitutes the refereed proceedings of Metaheuristics on 15th International...
EAN: 9783031629112
Artificial Intelligence for Neuroscience and Emotional Systems
EAN: 9783031611391
Bioinspired Systems for Translational Applications: From Robotics to Social Engineering
EAN: 9783031611360
Algorithmic Foundations for Social Advancement
This Open access book provides an overview of the cutting-edge research to systematize innovative...
EAN: 9789819606672
Information and Communications Technologies
This book constitutes the proceedings of the Second International Libyan Conference on...
EAN: 9783031626234
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 45th International Conference on Application and...
EAN: 9783031614323
Logic and Engineering of Natural Language Semantics
This book constitutes the refereed post-conference proceedings of the 20th International...
EAN: 9783031608773
New Frontiers in Artificial Intelligence
This volume constitutes the proceedings of the 16th JSAI International Symposia on Arti?cial...
EAN: 9789819730759
Unconventional Computation and Natural Computation
EAN: 9783031637414
Formal Techniques for Distributed Objects, Components, and Systems
EAN: 9783031626449
NASA Formal Methods
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium...
EAN: 9783031606977
Mathematics and Computation in Music
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics...
EAN: 9783031606373
Structural Information and Communication Complexity
This book constitutes the refereed proceedings of the 31th International Colloquium on Structural...
EAN: 9783031606021
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
EAN: 9783031606014
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
EAN: 9783031605963
Quantum Computing: Applications and Challenges
Quantum computing holds great promise in terms of human life quality especially when combined...
EAN: 9783031593178
Bio-Inspired Computing: Theories and Applications
EAN: 9789819722747
Bio-Inspired Computing: Theories and Applications
EAN: 9789819722716
Advances in Knowledge Discovery and Data Mining
The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference...
EAN: 9789819722655