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.
This book is a compilation of high-quality scientific papers presented at the 6th International Conference on Computer & Communication Technologies (IC3T 2024).
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 is a compilation of high-quality scientific papers presented at the 6th International Conference on Computer & Communication Technologies (IC3T 2024).
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 constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.
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.