This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.
This book constitutes the refereed proceedings of the 13th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2023, which took place in Vietri sul Mare, Italy, in September 2023.
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.
The Metaverse seamlessly integrates the real world with the virtual world and allows avatars to engage in a broad range of activities including entertainment, social networking, and trading.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023.
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023.
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023.
This proceedings constitutes the refereed post-conference proceedings of the 15th International Conference on Simulation Tools and Techniques, SIMUTools 2023, held in Seville, Spain, in December 2023.
This book constitutes the proceedings of Third International Conference on Information Systems and Design, ICID 2022, which took place in Tashkent, Uzbekistan, in September 2022.
This book constitutes the refereed proceedings of the 23rd International Conference on Innovations for Community Services, I4CS 2023, held in Bamberg, Germany, in September 2023.
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research.
This book constitutes the refereed proceedings of the Second International Conference on Electronic Governance with Emerging Technologies, EGETC 2023, held in Poznan, Poland, during September 11-12, 2023.
This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.
This book provides a collection of cutting-edge research roadmaps that attempt to determine and perhaps even shape the future of software architecture research.
This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.
This book constitutes the refereed proceedings of the 7th International Conference on Advances in Computing and Data Sciences, ICACDS 2023, held in Kolkata, India, during April 27-28, 2023.
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022.
This book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021.
This book constitutes the refereed post-conference proceedings of the 13th EAI International Conference on Broadband Communications, Networks, and Systems, Broadnets 2022, which took place in March 2023.
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 2023.
This volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16-18, 2023.
This book constitutes the refereed proceedings of the 7th International Conference on Advances in Computing and Data Sciences, ICACDS 2023, held in Kolkata, India, during April 27-28, 2023.
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022.
This book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021.
This book constitutes the refereed post-conference proceedings of the 13th EAI International Conference on Broadband Communications, Networks, and Systems, Broadnets 2022, which took place in March 2023.
This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Data Structures, WADS 2023, held during July 31-August 2, 2023.
This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022.
This book constitutes the refereed post-conference proceedings of the Third International Conference on AI-assisted Solutions for COVID-19 and Biometrical Applications in Smart Cities, AISCOVID-19 2022, held in November 2022 in Braga, Portugal.
This book constitutes refereed proceedings of the Third International Workshop on Research and Education in Urban History in the Age of Digital Libraries, UHDL 2023, held in Munich, Germany, during March 27-28, 2023.
This book constitutes the refereed post proceedings of the 17th International Conference on Parallel Computational Technologies, PCT 2023, held in Saint Petersburg, Russia, during March 28-30, 2023.
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023.
This book constitutes the refereed proceedings of the 8th EAI International Conference on IoT as a Service, IoTaaS 2022 was held virtually due to the COVID-19 crisis.
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.
This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Data Structures, WADS 2023, held during July 31-August 2, 2023.
This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022.
This book constitutes the refereed post-conference proceedings of the Third International Conference on AI-assisted Solutions for COVID-19 and Biometrical Applications in Smart Cities, AISCOVID-19 2022, held in November 2022 in Braga, Portugal.
This book constitutes refereed proceedings of the Third International Workshop on Research and Education in Urban History in the Age of Digital Libraries, UHDL 2023, held in Munich, Germany, during March 27-28, 2023.
This book constitutes the refereed post proceedings of the 17th International Conference on Parallel Computational Technologies, PCT 2023, held in Saint Petersburg, Russia, during March 28-30, 2023.
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023.
This book constitutes the refereed proceedings of the 8th EAI International Conference on IoT as a Service, IoTaaS 2022 was held virtually due to the COVID-19 crisis.
This book constitutes selected papers presented at the 16th International Conference on Service Science, ICSS 2023, held in Harbin, China, in May 2023.
This book offers a practical introduction to the use of artificial intelligence (AI) techniques to improve and optimise the various phases of the software development process, from the initial project planning to the latest deployment.
This book constitutes selected papers presented at the 16th International Conference on Service Science, ICSS 2023, held in Harbin, China, in May 2023.
This book offers a practical introduction to the use of artificial intelligence (AI) techniques to improve and optimise the various phases of the software development process, from the initial project planning to the latest deployment.
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.
