Static Analysis
This book constitutes the refereed proceedings of the 31st International Static Analysis...
EAN: 9783031747755
Multi-valued Logic for Decision-Making Under Uncertainty
EAN: 9783031747618
Architectures and Circuits for Distributed Quantum Computing
This thesis treats networks providing quantum computation based on distributed paradigms.
EAN: 9783031738074
Rise of Quantum Computing in Industry 6.0 Towards Sustainability
EAN: 9783031733499
Creative Mathematical Sciences Communication
This book constitutes the refereed proceedings of the 7th International Conference on Computer...
EAN: 9783031732560
Next Generation Arithmetic
This book constitutes the refereed post-conference proceedings of the 5th International...
EAN: 9783031727085
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based...
EAN: 9783031712937
Computer and Communication Engineering
This book constitutes the proceedings of the 4th International Conference on Computer and...
EAN: 9783031710780
Explainable and Transparent AI and Multi-Agent Systems
EAN: 9783031700736
Metaheuristics and Nature Inspired Computing
This book constitutes the refereed proceedings of the 9th International Conference on...
EAN: 9783031692567
Symbolic Computation in Software Science
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic...
EAN: 9783031690419
Modeling Decisions for Artificial Intelligence
This book constitutes the refereed proceedings of the 21st International Conference on Modeling...
EAN: 9783031682070
Conceptual Knowledge Structures
This book constitutes the proceedings of the First International Joint Conference on Conceptual...
EAN: 9783031678677
Coalgebraic Methods in Computer Science
This book constitutes the post-conference proceedings of the 17th International Workshop on...
EAN: 9783031664373
Mathematics of Computer Science, Cybersecurity and Artificial Intelligence
EAN: 9783031662218
Cellular Automata and Discrete Complex Systems
This book constitutes the proceedings from the 30th IFIP WG 1.5 International Workshop on...
EAN: 9783031658860
New Trends in Information and Communications Technology Applications
This book constitutes the refereed proceedings of the 7th National Conference on New Trends in...
EAN: 9783031628139
Probabilistic Indexing for Information Search and Retrieval in Large Collections of Handwritten Text Images
This book provides a comprehensive presentation of a recently introduced framework, named...
EAN: 9783031553912
Coding Examples from Simple to Complex
This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern...
EAN: 9783031538223
Coding Examples from Simple to Complex
This book provides a comprehensive guide to Python, which stands as the cornerstone of modern...
EAN: 9783031538148
Coding Examples from Simple to Complex
This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern...
EAN: 9783031538070
Design Optimization Under Uncertainty
This book introduces the fundamentals of probability, statistical, and reliability concepts, the...
EAN: 9783031492105