Dynamic Logic. New Trends and Applications
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic...
EAN: 9783031517761
Services Computing – SCC 2023
This book constitutes the refereed proceedings of the 20th International Conference on Services...
EAN: 9783031516733
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
Machine Learning for Decision Makers
EAN: 9781484298008
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
CyberSecurity in a DevOps Environment
EAN: 9783031422119
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
