The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.
This book constitutes the refereed proceedings of the 21st International Conference on Services Computing - SCC 2024, Held as Part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16-19, 2024.
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
This book constitutes the refereed proceedings of the 21st International Conference on Services Computing - SCC 2024, Held as Part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16-19, 2024.
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024.
This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024.
This two-volume proceedings set LNCS 15056-15057 constitutes the proceedings of 26th International Conference on Information and Communications Security, ICICS 2024, in Mytilene, Greece, during August 26-28, 2024.
This two-volume proceedings set LNCS 15056-15057 constitutes the proceedings of 26th International Conference on Information and Communications Security, ICICS 2024, in Mytilene, Greece, during August 26-28, 2024.
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.
This book constitutes the proceedings of the 23rd International Conference on Computer Information Systems and Industrial Management, CISIM 2024, held in Bialystok, Poland, during September 27-29, 2024.
This book constitutes the proceedings of the 23rd International Conference on Computer Information Systems and Industrial Management, CISIM 2024, held in Bialystok, Poland, during September 27-29, 2024.
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.
The five-volume set CCIS 2133-2137 constitutes the refereed proceedings of the workshops held in conjunction with the Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, during September 18-22, 2023.
The five-volume set CCIS 2133-2137 constitutes the refereed proceedings of the workshops held in conjunction with the Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, during September 18-22, 2023.
This two-volume proceedings set LNCS 15056-15057 constitutes the proceedings of 26th International Conference on Information and Communications Security, ICICS 2024, in Mytilene, Greece, during August 26-28, 2024.
This two-volume proceedings set LNCS 15056-15057 constitutes the proceedings of 26th International Conference on Information and Communications Security, ICICS 2024, in Mytilene, Greece, during August 26-28, 2024.
This book includes new research results of scholars from the Fourth International Conference on Advanced Intelligent Technologies (ICAIT 2023) organized by IRNet International Academic Communication Center, held during November 3-5, 2023.
This book includes new research results of scholars from the Fourth International Conference on Advanced Intelligent Technologies (ICAIT 2023) organized by IRNet International Academic Communication Center, held during November 3-5, 2023.
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
This book constitutes the refereed proceedings of the 30th International Conference on Cooperative Information Systems, CoopIS 2024, held in Porto, Portugal, during November 19-21, 2024.
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
This book constitutes the refereed post-conference proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, held in Prague, Czech Republic, during April 24-25, 2023.
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024.
This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29-August 1, 2024.
This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29-August 1, 2024.
This book constitutes the post-conference proceedings of the 25th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2023, held in Moscow, Russia, during 24-27 October 2023.
This book constitutes the post-conference proceedings of the 25th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2023, held in Moscow, Russia, during 24-27 October 2023.
This book constitutes the refereed post-conference proceedings of the 8th EAI International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2024, held in Zagreb, Croatia, during May 9-10, 2024.
This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in Oslo, Norway, during May 24-26, 2024.
This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.
This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.
This book constitutes the refereed post-conference proceedings of the 8th EAI International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2024, held in Zagreb, Croatia, during May 9-10, 2024.
This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20-22, 2024.
This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20-22, 2024.
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
