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...Lasīt vairāk
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...Lasīt vairāk
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 1415, 2024.The 6 full papers, as well as one invited paper, were carefully...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
This book LNCS constitutes the refereed proceedings of the Second International Conference on Applied Algorithms, ICAA 2025, held in Kolkata, India, during January 810, 2025.The 26 full papers and 4 short papers are carefully reviewed and...Lasīt vairāk
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 1618, 2024.The 16 full papers inc...Lasīt vairāk
This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held i...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
This book constitutes the refereed proceedings of the 30th International Conference on Information and Software Technologies, ICIST 2024, held in Kaunas, Lithuania, during October 1718, 2024.The 25 full papers included in this book were ca...Lasīt vairāk
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...Lasīt vairāk
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 23, 2024.The 18 full papers included in t...Lasīt vairāk
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 24, 2024.The 18 full papers, 12 short papers, 9 Indus...Lasīt vairāk
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 2529, 2024. The 21 full papers presented here were carefully re...Lasīt vairāk
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 2022, 2024. The 8...Lasīt vairāk
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 2022, 2024. The 8...Lasīt vairāk
