This book constitutes the refereed proceedings of the 4th International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2024, held in Varanasi, India, during December 19-21, 2024.
This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, held in Tonantzintla, Mexico, during October 21-25, 2024.
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2024, held in Varanasi, India, during December 19-21, 2024.
This book constitutes the refereed proceedings of the 19th International Conference on Critical Information Infrastructures Security, CRITIS 2024, held in Rome, Italy, during September 18-20, 2024.
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2024, held in Varanasi, India, during December 19-21, 2024.
This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, held in Tonantzintla, Mexico, during October 21-25, 2024.
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2024, held in Varanasi, India, during December 19-21, 2024.
This two-volume set, CCIS 2348 and CCIS 2349 ,constitutes the revised selected papers from the International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024 Workshops, held in Santiago de Chile, Chile, in October 2024.
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.
The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.
The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.
This volume constitutes the papers of two workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2024, held in Tampere, Finland, on June 17, 2024.
This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.
This volume constitutes the papers of two workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2024, held in Tampere, Finland, on June 17, 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.
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
Istio is a powerful service mesh technology that enhances the security, observability, and traffic management of microservices within cloud-native architectures.
This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10-11, 2024.
This book constitutes the refereed proceedings of the 14th International Conference on Videogame Sciences and Arts, VJ 2024, held in Leiria, Portugal, during December 5-6, 2024.
This book constitutes the refereed proceedings of the 14th International Conference on Videogame Sciences and Arts, VJ 2024, held in Leiria, Portugal, during December 5-6, 2024.
This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10-11, 2024.
The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29-July 4, 2024.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.
The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29-July 4, 2024.
The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.
The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29-July 4, 2024.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 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.
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 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.
