This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.
This book constitutes the refereed proceedings of the Third Analytics Global Conference on Human-centered Data Analytics: Technology for Sustainable Development, AGC 2025, held in Kolkata, India, during March 8-9, 2025.
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.
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.
This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.
This book presents original, peer-reviewed research papers from the International Conference on Recent Trends in Artificial Intelligence and Data Sciences—CONFLUENCE 2025.
This book presents original, peer-reviewed research papers from the International Conference on Recent Trends in Artificial Intelligence and Data Sciences—CONFLUENCE 2025.
This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9–11, 2025.
Moral Conversion and Video Games is an in-depth exploration of Spec Ops: The Line, a critically acclaimed video game that subverts its genre by confronting players with the psychological and moral consequences of war.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.
This book presents the Unified Architecture Process (UAP)—a comprehensive and methodologically rigorous framework designed specifically for addressing the challenges encountered in modern industrial software systems.
This book constitutes the refereed proceedings of the 11th International Conference on Technologies and Innovation, CITI 2025, in Guayaquil, Ecuador, during December 2025.
This book constitutes the refereed proceedings of the 11th International Conference on Technologies and Innovation, CITI 2025, in Guayaquil, Ecuador, during December 2025.
This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.
This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.
This book constitutes the conference proceedings of the 22nd International Conference on Smart Business Technologies, ICSBT 2025 held in Bilbao, Spain, during June 11–12, 2025.
This book constitutes the conference proceedings of the 22nd International Conference on Smart Business Technologies, ICSBT 2025 held in Bilbao, Spain, during June 11–12, 2025.
This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.
This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.
The two volume set LNBIP 566 - 567 constitutes the refereed post-conference proceedings of the 26th International Conference on Enterprise Information Systems, ICEIS 2024, which was held in Angers, France, during April 2024.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.
This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.
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 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 two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
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 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 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 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 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.
