Verification, Model Checking, and Abstract Interpretation
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International...
EAN: 9783031505201
Artificial Intelligence. ECAI 2023 International Workshops
This volume constitutes the refereed proceedings presented at the international workshops of the...
EAN: 9783031503955
Model and Data Engineering
This volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference,...
EAN: 9783031493324
Advanced Research in Technologies, Information, Innovation and Sustainability
EAN: 9783031488542
Agile Processes in Software Engineering and Extreme Programming – Workshops
EAN: 9783031485497
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 9th International Symposium on Dependable Software...
EAN: 9789819986637
Current Trends in Web Engineering
This volume constitutes the papers of several workshops which were held in conjunction with the...
EAN: 9783031503849
Future Access Enablers for Ubiquitous and Intelligent Infrastructures
This book constitutes the refereed post-conference proceedings of the 7th International...
EAN: 9783031500503
Advanced Research in Technologies, Information, Innovation and Sustainability
EAN: 9783031489297
Bridging the Gap Between AI and Reality
This book constitutes the proceedings of the First International Conference on Bridging the Gap...
EAN: 9783031460012
Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 24th International Conference on...
EAN: 9783031492686
Search-Based Software Engineering
This book constitutes the refereed proceedings of the 15th International Symposium on...
EAN: 9783031487958
Artificial Intelligence of Things
These two volumes constitute the revised selected papers of First International Conference,...
EAN: 9783031487736
Hardware and Software Projects Troubleshooting
EAN: 9781484298299
Advanced Parallel Processing Technologies
This book constitutes the refereed proceedings of the 15th International Symposium on Advanced...
EAN: 9789819978717
Artificial Intelligence Logic and Applications
The 26 full papers and the 10 short papers included in this volume were carefully reviewed and...
EAN: 9789819978687
Service-Oriented Computing
These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023,...
EAN: 9783031484230
Service-Oriented Computing
These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023,...
EAN: 9783031484209
Intelligent Data Engineering and Automated Learning – IDEAL 2023
This book constitutes the proceedings of the 24th International Conference on Intelligent Data...
EAN: 9783031482311
Active Inference
This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI...
EAN: 9783031479571
Sustainable Development through Machine Learning, AI and IoT
This book constitutes the revised selected papers of the First International Conference, ICSD...
EAN: 9783031470547
