Go Where the Bugs Are
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects...
EAN: 9783031921957
Logic and Its Applications
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its...
EAN: 9783031896095
Advanced Mathematical Science for Mobility Society
This open access book presents the mathematical methods for huge data and network analysis. The...
EAN: 9789819997749
Toward Connected, Cooperative and Intelligent IoV
This book offers a comprehensive introduction to technological advances in Internet of Vehicles...
EAN: 9789819996490
Combinatorial Optimization and Applications
EAN: 9789819644445
Advances in Brain Inspired Cognitive Systems
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th...
EAN: 9789819628841
Fundamental Approaches to Software Engineering
EAN: 9783031908996
Tools and Algorithms for the Construction and Analysis of Systems
EAN: 9783031906596
Quantum Photonics
While optical bimodes can be mutually coupled, qubits can be entangled, enabling revolutionary...
EAN: 9783031891205
Information Technologies and Mathematical Modelling. Queueing Theory and Related Fields
mso-ascii-font-family: Calibri; mso-hansi-font-family: Calibri; mso-bidi-font-family: Calibri;...
EAN: 9783031883064
Modelling and Development of Intelligent Systems
tab-stops: 36.0pt;">Intelligent Systems for Decision supports,Modelling and optimization of...
EAN: 9783031873850
Verification, Model Checking, and Abstract Interpretation
EAN: 9783031827020
Verification, Model Checking, and Abstract Interpretation
EAN: 9783031826993
Analysis and Design of Next-Generation Software Architectures
EAN: 9783031762116
Approximability of Optimization Problems through Adiabatic Quantum Computation
Table of Contents: Preface / Acknowledgments / Introduction / Approximability of NP-hard Problems...
EAN: 9783031013911
Broadband Quantum Cryptography
Quantum cryptography is a rapidly developing field that draws from a number of disciplines, from...
EAN: 9783031013850
Quantum Computer Science
Table of Contents: Introduction / The Algorithmic Structure of Quantum Computing / Advantages and...
EAN: 9783031013843
Symbolic Computation of Integrability Structures for Partial Differential Equations
This is the first book devoted to the task of computing integrability structures by computer. The...
EAN: 9783030100889
Geometrically Unfitted Finite Element Methods and Applications
EAN: 9783030100551
Technologies and Applications of Artificial Intelligence
EAN: 9789819645954
Technologies and Applications of Artificial Intelligence
EAN: 9789819645886
Human Brain and Artificial Intelligence
This book constitutes the refereed proceedings of the 4th International Workshop on Human Brain...
EAN: 9789819640003
