This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.
This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015.
This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.
The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St.
Recently, substantial progress has been made in the machine perception, particularly computer vision, largely due to the advancements in deep learning techniques.
This book focuses on agentic AI security, providing a comprehensive guide to the theoretical foundations and practical techniques required to secure the increasingly prevalent AI agent systems.
This book addresses perception and monitoring challenges in aerospace systems by employing innovative unsupervised learning techniques, thereby providing solutions for scenarios characterized by limited labelled data or dynamic environments.
Artificial Intelligence in Biomaterials Design and Development delves into the transformative role of artificial intelligence, particularly machine learning, in creating new biomaterials.
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018.
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016.
This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.
Recently, substantial progress has been made in the machine perception, particularly computer vision, largely due to the advancements in deep learning techniques.
This book comprises a selection of articles from the 13th World Conference on Information Systems and Technologies (WorldCIST’25), held from April 15 to 17, 2025, at the Federal University of Santa Catarina, Florianópolis, Brazil.
The book is a compilation of research presented at the 2nd International Conference of Geoscience and Remote Sensing Technology (IC-GEOREST), which took place between October 26 and 27, 2024, in Padang, Indonesia.
This book constitutes the refereed proceedings of the 11th International Conference on Data Science, ICPCSEE 2025, held in Hiroshima, Japan, during September 19–21, 2025.
This book refers to an innovative and comprehensive convergence of modern computing systems and intelligent communication networks with latest computing technologies, including edge computing, 5G/6G networks, Internet of Things (IoT), artificial intelligence (AI), machine learning (ML), and blockchain-driven communication systems, and also provides information about how advanced processors work with edge integration and parallel computing to deliver faster data analysis and how AI incorporates with ML for decision making , predicative analysis, and automation This book approaches its subject by seamlessly integrating foundational principles with the latest advancements in smart computing What sets this work apart is its multidisciplinary perspective—blending computing, electronics, information theory, and real-time communications to address the challenges and opportunities of next-generation intelligent networks.
This book explores Internet of Medical Things (IoMT) security and privacy in electronic healthcare, addressing vulnerabilities in medical devices that expose patient data to cyber-attacks.
This book explores Internet of Medical Things (IoMT) security and privacy in electronic healthcare, addressing vulnerabilities in medical devices that expose patient data to cyber-attacks.
This book constitutes the refereed proceedings of the First International Conference on Constructive Approaches for Security Analysis and Design of Embedded Systems, CASCADE 2025, held in Saint-Etienne, France, during April 2–4, 2025.
This book investigates the complex ethical dilemmas underpinning AI regulation, analysing the EU Artificial Intelligence Act in the context of the fundamental values and ambitious expectations that have accompanied it initially.
This book presents peer-reviewed research from ISBCom 2025 that bridges intelligent systems, blockchain, communication, and data technologies to address real-world challenges.
This book presents the proceedings of the 25th Society for Design and Process Science Conference (SDPS 2024), which took place in Bologna, Italy on October 6-9, 2024.
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019.
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018.
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Game Theory, SAGT 2016, held in Liverpool, UK, in September 2016.
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016.
This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2016.
This book constitutes therefereed proceedings of the 12th Latin American Symposium on TheoreticalInformatics, LATIN 2016, held in Ensenada, Mexico, in April 2016.
The two volumes CCIS 546 and 547 constitute the refereed proceedings of the CCF Chinese Conference on Computer Vision, CCCV 2015, held in Xi'an, China, in September 2015.
This book constitutes the refereed proceedings of the 8th International Symposium on Algorithmic Game Theory, SAGT 2015, held in Saarbrucken, Germany, in September 2015.
This book constitutes the proceedings of the 10th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2015, held in Hefei, China, in September 2015.
This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015.
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.
This book constitutes the refereed proceedings of the 19th CCF Conference on Computer Engineering and Technology, NCCET 2015, held in Hefei, China, in October 2015.
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.
This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields.
This book constitutes the refereed proceedings of the Joint Conference on Robotics, LARS, SBR, Robocontrol 2014, held in Sao Carlos, Brazil, in October 2014.
