Functional and Constraint Logic Programming
This book constitutes the refereed post-conference proceedings of the 28th International Workshop...
EAN: 9783030753320
Database Systems for Advanced Applications
EAN: 9783030731960
Cerebral Aneurysm Detection and Analysis
This book constitutes the First Cerebral Aneurysm Detection Challenge, CADA 2020, which was held...
EAN: 9783030728618
Evolutionary Multi-Criterion Optimization
This book constitutes the refereed proceedings of the 11th International Conference on...
EAN: 9783030720612
Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference...
EAN: 9783030720124
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 24th International Conference on...
EAN: 9783030719944
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 24th International Conference on...
EAN: 9783030714994
From Data to Models and Back
This book constitutes the refereed proceedings of the 9th International Symposium on From Data...
EAN: 9783030706494
Cellular Automata
This book constitutes the refereed proceedings of the 14th International Conference on Cellular...
EAN: 9783030694791
Parallel and Distributed Computing, Applications and Technologies
This book constitutes the proceedings of the 21st International Conference on Parallel and...
EAN: 9783030692438
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9783030684457
Chatbot Research and Design
This book constitutes the proceedings of the 4th International Workshop on Chatbot Research and...
EAN: 9783030682873
Recent Trends in Mathematical Modeling and High Performance Computing
This volume explores the connections between mathematical modeling, computational methods, and...
EAN: 9783030682804
Algorithms and Discrete Applied Mathematics
This book constitutes the proceedings of the 7th International Conference on Algorithms and...
EAN: 9783030678982
SOFSEM 2021: Theory and Practice of Computer Science
EAN: 9783030677305
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
EAN: 9783030672195
High Performance Computing in Science and Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the 4th...
EAN: 9783030670764
Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 22nd International Conference on Verification, Model...
EAN: 9783030670665
Distributed Computer and Communication Networks
This book constitutes the refereed post-conference proceedings of the 23rd International...
EAN: 9783030664701
Data Analysis and Optimization for Engineering and Computing Problems
This book presents the proceedings of The EAI International Conference on Computer Science:...
EAN: 9783030481513
Intelligent Equipment, Robots, and Vehicles
The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed...
EAN: 9789811672125
