This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, during September 23-26, 2025.
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.
This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.
This book constitutes the refereed proceedings of the 13th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2024, held in Santo Domingo, Dominican Republic, during November 13–15, 2024.
This book constitutes the refereed proceedings of the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.
This book constitutes the refereed proceedings of the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025.
This book constitutes the refereed proceedings of the 29th International Conference on Theory and Practice of Digital Libraries on Linking Theory and Practice of Digital Libraries, TPDL 2025, held in Tampere, Finland, during September 23–26, 2025.
This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.
This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 2025.
This book explores the key challenges shaping the future of software development, including automation, AI-driven development, security-focused engineering, resilient and autonomous architectures, business process optimization, cloud computing, microservices, high-performance distributed systems, and sustainable technologies.
This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 2025.
This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 2025.
This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 2025.
This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, during September 23-26, 2025.
This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2025, held in Almaty, Kazakhstan, during October 2025.
This book constitutes the refereed proceedings of the 29th International Conference on Theory and Practice of Digital Libraries on Linking Theory and Practice of Digital Libraries, TPDL 2025, held in Tampere, Finland, during September 23–26, 2025.
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025.
This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 2025.
This book explores the key challenges shaping the future of software development, including automation, AI-driven development, security-focused engineering, resilient and autonomous architectures, business process optimization, cloud computing, microservices, high-performance distributed systems, and sustainable technologies.
This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 2025.
This book focuses on agentic AI security, providing a comprehensive guide to the theoretical foundations and practical techniques required to secure the increasingly prevalent AI agent systems.
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.
This book constitutes the refereed proceedings of the 8th International Conference on Applied Informatics, ICAI 2025, held in Ben Guerir, Morocco, during October 8–11, 2025.
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.
This book constitutes the proceedings of the 18th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2025, which took place in Geneva, Switzerland, during December 3-5, 2025.
This book constitutes the proceedings of the 18th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2025, which took place in Geneva, Switzerland, during December 3-5, 2025.
System Innovation for a Global Economy contains the contribution to the 2025 International Conference on Applied System Innovation (ICASI 2025, Tokyo, Japan, April 22-25, 2025).
System Innovation for a Global Economy contains the contribution to the 2025 International Conference on Applied System Innovation (ICASI 2025, Tokyo, Japan, April 22-25, 2025).
This book constitutes the refereed proceedings of the 16th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2025, held in Weiden, Germany, during July 2–3, 2025.
This book constitutes the refereed proceedings of the 16th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2025, held in Weiden, Germany, during July 2–3, 2025.
The text explains how explainable artificial intelligence impacts problem-solving and aims to provide practical suggestions across various emerging industries.
Deep Learning Applications in Operations Research explores cutting-edge applications of deep learning and optimization techniques across various domains.
