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.
This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.
This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.
The two-volume set LNICST 490 and 491 constitutes the proceedings of the First International Conference on Machine Intelligence and Emerging Technologies, MIET 2022, hosted by Noakhali Science and Technology University, Noakhali, Bangladesh, during September 23-25, 2022.
The two-volume set LNICST 490 and 491 constitutes the proceedings of the First International Conference on Machine Intelligence and Emerging Technologies, MIET 2022, hosted by Noakhali Science and Technology University, Noakhali, Bangladesh, during September 23-25, 2022.
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.
This book constitutes the refereed proceedings of the 16th Colombian Congress on Computing, CCC 2022, held in Armenia, Colombia, during October 17-21, 2022The 12 full papers included in this book were carefully reviewed and selected from 40 submissions.
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.
This book constitutes the refereed proceedings of the 16th Colombian Congress on Computing, CCC 2022, held in Armenia, Colombia, during October 17-21, 2022The 12 full papers included in this book were carefully reviewed and selected from 40 submissions.
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.
This book constitutes the refereed proceedings of the 24th International Conference on Engineering Applications of Neural Networks, EANN 2023, held in Leon, Spain, in June 2023.
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.
This book constitutes the refereed proceedings of the 24th International Conference on Engineering Applications of Neural Networks, EANN 2023, held in Leon, Spain, in June 2023.
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.