This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23–25, 2025.
This book constitutes the refereed post proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2024, held in Porto, Portugal during November 17–19, 2024.
This book constitutes the refereed post proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2024, held in Porto, Portugal during November 17–19, 2024.
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.
This book constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 2025.
This book constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 2025.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book constitutes the refereed proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, held in Gainesville, FL, USA, during October 14–15, 2024.
This book constitutes the refereed proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, held in Gainesville, FL, USA, during October 14–15, 2024.
This book includes the revised selected papers from the 26th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2024, held in Nizhny Novgorod, Russia, during October 22-25, 2024.
This book includes the revised selected papers from the 26th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2024, held in Nizhny Novgorod, Russia, during October 22-25, 2024.
This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16–21, 2025.
This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16–21, 2025.
This book constitutes the proceedings of the 44th International Conference on Conceptual Modeling, ER 2025, which took place in Poitiers, France, during October 20–23, 2025.
This book constitutes the proceedings of the 44th International Conference on Conceptual Modeling, ER 2025, which took place in Poitiers, France, during October 20–23, 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 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 8th International Conference on Applied Informatics, ICAI 2025, held in Ben Guerir, Morocco, during October 8–11, 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 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.
