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.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–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 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.
Domine DevOps y microservicios para construir el futuro del softwareLa creciente demanda de aplicaciones más rápidas, escalables y resilientes ha impulsado la adopción de nuevas metodologías y arquitecturas.
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.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.
Emerging Standards for Enhanced Publications and Repository Technology serves as a technology watch on the rapidly evolving world of digital publication.
Emerging Standards for Enhanced Publications and Repository Technology serves as a technology watch on the rapidly evolving world of digital publication.
This three-set volume LNCS 16217-16219 constitutes the refereed proceedings of 27th International Conference on Information and Communications Security, ICICS 2025, held in Nanjing, China, during October 29–31, 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.
This book helps interested audiences to get familiar with the basics of the object-oriented programming paradigm in C# faster, for the author has written this book in the simple language, used extremely simple examples; however, being at least junior level in C#.
This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.
Con el crecimiento imparable de la adopción de la nube, Kubernetes se ha consolidado como el estándar de facto en el ecosistema de nube nativa o cloud native.
Event-driven microservices offer an optimal approach to harnessing event streams, reacting and responding to changes as they occur across your company.
Event-driven microservices offer an optimal approach to harnessing event streams, reacting and responding to changes as they occur across your company.
Microsoft Sentinel for Internet of Medical Things (IoMT) provides advanced threat detection, investigation, and automated response for connected medical devices, guaranteeing real-time protection in healthcare environments.