The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024.
This two-volume set, CCIS 2348 and CCIS 2349 ,constitutes the revised selected papers from the International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024 Workshops, held in Santiago de Chile, Chile, in October 2024.
This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
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.
Open-source software supply chains wield significant influence in the software industry, drawing substantial interest from enterprises, researchers, and policymakers.
This book constitutes the refereed proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024, held in Winterthur, Switzerland, during April 8-12, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.
This book constitutes the proceedings of the 30th International Conference on Collaboration Technologies and Social Computing, CollabTech 2024, held in Barcelona, Spain, during September 11-14, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
This book constitutes the refereed post-conference proceedings of the 20th International Conference on Computer Science and Education in Computer Science, CSECS 2024, held in Sofia, Bulgaria, during June 28-30, 2024.
This book constitutes the refereed proceedings of the 28th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2024, held in Ljubljana, Slovenia, during September 24-27.
This book constitutes the refereed proceedings of the 28th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2024, held in Ljubljana, Slovenia, during September 24-27.
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 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
The three-volume proceedings set CCIS 2049, 2050 and 2051 constitutes the refereed proceedings of the 5th International Conference on Applied Technologies on International Conference on Applied Technologies, ICAT 2023, held in Samborondon, Ecuador, November 22-24, 2023.
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.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.
This two-volume set, CCIS 2348 and CCIS 2349 ,constitutes the revised selected papers from the International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024 Workshops, held in Santiago de Chile, Chile, in October 2024.
This book constitutes the refereed proceedings of the 28th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2024, held in Ljubljana, Slovenia, during September 24-27.
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 book constitutes the thoroughly refereed proceedings of the international workshops associated with the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16-20, 2025.
The three-volume proceedings set CCIS 2049, 2050 and 2051 constitutes the refereed proceedings of the 5th International Conference on Applied Technologies on International Conference on Applied Technologies, ICAT 2023, held in Samborondon, Ecuador, November 22-24, 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 book constitutes the refereed proceedings of the 6th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2024, held as part of the 26th HCI International Conference, HCII 2024, which took place in Washington, DC, USA, during June 29-July 4, 2024.
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 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 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 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.
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.
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.
Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011.
Practical Elements of Safety contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held at Birmingham, UK in February 2004.
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems.
Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications through a variety of interactive devices (including cell phones, PDA's, desktop computers, digital television sets, and intelligent watches).
