Modelling Foundations and Applications
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations...
EAN: 9783319929965
Tests and Proofs
This book constitutes the refereed proceedings of the 12th International Conference on Tests and...
EAN: 9783319929934
Graph Transformation
This book constitutes the refereed proceedings of the 11th International Conference on Graph...
EAN: 9783319929903
Service-Oriented Computing – ICSOC 2017 Workshops
EAN: 9783319917634
Machine Learning with R
This book helps readers understand the mathematics of machine learning, and apply them in...
EAN: 9789811349508
Static Analysis
This book constitutes the refereed proceedings of the 31st International Static Analysis...
EAN: 9783031747755
Explainable and Transparent AI and Multi-Agent Systems
EAN: 9783031700736
Graph Transformation
This book constitutes the refereed proceedings of the 17th International Conference on Graph...
EAN: 9783031642845
Programming Languages and Systems
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European...
EAN: 9783031911200
Programming Languages and Systems
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European...
EAN: 9783031911170
Database Systems for Advanced Applications. DASFAA 2024 International Workshops
EAN: 9789819609130
AIxIA 2024 – Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA...
EAN: 9783031806063
Human Activity Recognition and Anomaly Detection
This book constitutes the refereed proceedings of the 4th International and First International...
EAN: 9789819790029
Formal Methods and Software Engineering
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on...
EAN: 9789819606160
Programming Languages and Systems
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and...
EAN: 9789819789429
Runtime Verification
This book constitutes the refereed proceedings of the 24th International Conference on Runtime...
EAN: 9783031742330
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 17th International Conference on Logic...
EAN: 9783031742088
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning
This book constitutes the proceedings of the 17th International Conference on Informatics in...
EAN: 9783031734731
Advancing OpenMP for Future Accelerators
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP:...
EAN: 9783031725661
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 29th International Conference on Formal Methods for...
EAN: 9783031681493
