This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 202...Loe edasi...
Applied intelligence, integrated with software, is an essential enabler for science and the new economy, creating new markets and new directions for a more reliable, flexible and robust society and empowering the exploration of our world in ever mor...Loe edasi...
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were caref...Loe edasi...
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.The 6 full papers, as well as one invited paper, were carefully...Loe edasi...
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joi...Loe edasi...
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joi...Loe edasi...
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joi...Loe edasi...
This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the Internat...Loe edasi...
This book LNCS constitutes the refereed proceedings of the Second International Conference on Applied Algorithms, ICAA 2025, held in Kolkata, India, during January 8–10, 2025.The 26 full papers and 4 short papers are carefully reviewed and...Loe edasi...
This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16–18, 2024.The 16 full papers inc...Loe edasi...
This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held i...Loe edasi...
This book comprises carefully selected and reviewed outcomes of the 13th International Workshop on Automated Negotiations (ACAN) held in Vienna, 2022, in conjunction with International Joint Conference on Artificial Intelligence (IJCAI) 2022. It f...Loe edasi...
This book constitutes the refereed proceedings of the 15th International Conference on Software Business, ICSOB 2024, which took place in Utrecht, The Netherlands, during November 18-20, 2024. The special theme of ICSOB 2024 was Ethics, Equity...Loe edasi...
This book constitutes the refereed proceedings of the 30th International Conference on Information and Software Technologies, ICIST 2024, held in Kaunas, Lithuania, during October 17–18, 2024.The 25 full papers included in this book were ca...Loe edasi...
This book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation and anthropic-oriented computing that were origi...Loe edasi...
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2–3, 2024.The 18 full papers included in t...Loe edasi...
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2–4, 2024.The 18 full papers, 12 short papers, 9 Indus...Loe edasi...
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully re...Loe edasi...
This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20–22, 2024. The 8...Loe edasi...
This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20–22, 2024. The 8...Loe edasi...
