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).
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.
This nine-volume set LNCS 14104 - 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3-6, 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.
After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go.
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.
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.
This proceedings, HCI-CPT 2024, constitutes the refereed proceedings of the 6th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 26th International Conference, HCI International 2024, which took place from June 29 - July 4, 2024 in Washington DC, USA.
The 6-volume set constitutes the worshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings.
This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5-7, 2024.
This book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23-26, 2023.
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 nine-volume set LNCS 14104 - 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3-6, 2023.
