This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6-10, 2024.
This book constitutes the refereed proceedings of the 16th International Conference on Cellular Automata for Research and Industry, Cellular Automata, ACRI 2024, held in Florence, Italy, in September 9-11, 2024.
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
This book constitutes the refereed proceedings of the 16th International Conference on Cellular Automata for Research and Industry, Cellular Automata, ACRI 2024, held in Florence, Italy, in September 9-11, 2024.
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
This book constitutes the refereed post-conference proceedings from the 15th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2023, held in Vancouver, British Columbia, Canada, during August 28 - September 1, 2023.
This book constitutes the refereed proceedings of the 5th International Conference on Computing Science, Communication and Security, COMS2 2024, held in Mehsana, Gujarat, India, during February 6-7, 2024.
This book constitutes the refereed proceedings of the 5th International Conference on Computing Science, Communication and Security, COMS2 2024, held in Mehsana, Gujarat, India, during February 6-7, 2024.
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.
This book constitutes the refereed proceedings of the Third International Conference on Electronic Governance with Emerging Technologies, EGETC 2024, held in Jakarta, Indonesia, during September 25-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 book constitutes the refereed proceedings of the Third International Conference on Electronic Governance with Emerging Technologies, EGETC 2024, held in Jakarta, Indonesia, during September 25-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 book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.
This volume gives readers an understanding of the multifaceted threats posed by the evolving cybersecurity landscape in smart environments, while also offering strategic insights into mitigative measures and proactive solutions.
This book constitutes the proceedings of the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 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 volume gives readers an understanding of the multifaceted threats posed by the evolving cybersecurity landscape in smart environments, while also offering strategic insights into mitigative measures and proactive solutions.
This book constitutes the proceedings of the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 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 proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.
This book constitutes the refereed post-conference proceedings from the 15th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2023, held in Vancouver, British Columbia, Canada, during August 28 - September 1, 2023.
This book constitutes the refereed proceedings of the 20th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2024, held in Rome, Italy, during September 26-27, 2024.
Edge computing has emerged as a powerful technology for efficiently executing tasks by pushing cloud computing capabilities to the edge of the network.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
This book constitutes the revised selected papers of the 5th International Workshop on Active Inference, IWAI 2024, held in Oxford, UK, during September 9-11, 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 book constitutes the revised selected papers of the 5th International Workshop on Active Inference, IWAI 2024, held in Oxford, UK, during September 9-11, 2024.
This book constitutes the proceedings of the 7th International Conference on Blockchain - ICBC 2024, held as part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16-19, 2024.
The five-volume set LNCS 14961, 14962, 14963, 14964 and 14965 constitutes the refereed proceedings of the 8th International Joint Conference on Web and Big Data, APWeb-WAIM 2024, held in Jinhua, China, during August 30-September 1, 2024.
This book constitutes the refereed proceedings of the 8th International Conference on Advances in Computing and Data Sciences, ICACDS 2024, held in Velizy, France, during May 9-10, 2024.
This book constitutes the refereed proceedings of the 8th International Conference on Advances in Computing and Data Sciences, ICACDS 2024, held in Velizy, France, during May 9-10, 2024.
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.
This book constitutes the proceedings of the 7th International Conference on Blockchain - ICBC 2024, held as part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16-19, 2024.
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.
