This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of the 4th International Conference on Applied Technologies, ICAT 2022, held in Quito, Ecuador, in November 2022.
This book constitutes the refereed conference proceedings of the 5th EAI International Conference on Emerging Technologies in Computing, iCETiC 2022, held in Chester, UK, August 15-16, 2022.
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.
This volume constitutes selected and revised papers presented at the First International Conference on Advancements in Interdisciplinary Research, AIR 2022, held in Allahabad, India, in May 2022.
This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.
This book constitutes refereed proceedings of the First International Conference on Emerging Networking Architecture and Technologies, ICENAT 2022, held in Shenzhen, China, in October 2022.
This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.
This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23-26, 2023.
This book constitutes selected papers presented at the First International Scientific and Practical Conference on Information Technologies and Intelligent Decision Making Systems, ITIDMS 2021, held as Virtual Event in January, 2021.
The two-volume Proceedings set CCIS 1675 and 1676 constitutes the refereed proceedings of the Second International Conference, ARTIIS 2022, held in Santiago de Compostela, Spain, during September 12-15, 2022.
This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.
This book constitutes the proceedings of the 7th International Conference on Internet of Things, ICIOT 2022, held in Honolulu, USA, as part of SCF 2022, during December 10-14, 2022.
This two-volume set, CCIS 1744 and CCIS 1745 book constitutes the 7th International Conference, on Data Mining and Big Data, DMBD 2022, held in Beijing, China, in November 21-24, 2022.
This book constitutes thoroughly refereed and revised selected papers from the 10th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2021, held in Sangolqui, Ecuador, during December 2-3, 2021.
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.
This volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.
This proceedings LNCS 13516 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th International Conference, HCII 2022, during June 26 to July 1, 2022.
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.
This book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020.
This book constitutes the proceedings of the MICCAI 2022 Challenge, FLARE 2022, held in Conjunction with MICCAI 2022, in Singapore, on September 22, 2022.
The three-volume set LNICST 465, 466 and 467 constitutes the proceedings of the Second EAI International Conference on Application of Big Data, Blockchain, and Internet of Things for Education Informatization, BigIoT-EDU 2022, held as virtual event, in July 29-31, 2022.
This book constitutes the proceedings of the 5th International Conference on Blockchain, ICBC 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.
This book constitutes the proceedings of the 20th International Conference on Service-Oriented Computing, ICSOC 2022, held in Seville, Spain, in November -December 2022.
This book constitutes the refereed post-conference proceedings of the 25th International Conference on Distributed and Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 26-29, 2022.
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.
This book constitutes the refereed proceedings of the 8th International Conference on Modelling and Development of Intelligent Systems, MDIS 2022, held in Sibiu, Romania, during October 28-30, 2022.
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.
The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.
This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23-26, 2023.
This book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022, held in Chicago, IL, USA, in October 2022.
This book brings together some of the most impactful researchers in the field of Genetic Programming (GP), each one working on unique and interesting intersections of theoretical development and practical applications of this evolutionary-based machine learning paradigm.
This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This book constitutes the refereed proceedings of the 23rd International Conference on Next Generation Wired/Wireless Networking, NEW2AN 2023, and the 16th Conference on Internet of Things and Smart Spaces, ruSMART 2023, held in Dubai, United Arab Emirates, in December 21-22, 2023.
This book constitutes the refereed proceedings of the International Workshops on Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics.
This book constitutes the refereed proceedings of the International Workshops on Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics.
This book constitutes the refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2-8, 2023.
This book constitutes the refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2-8, 2023.
The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.
