This book constitutes the refereed proceedings of the 16th Software Quality Days Conference, SWQD 2024, held in Vienna, Austria, during April 23-25, 2024.
The book reports state-of-the-art results in Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing in both printed and electronic form.
This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects.
The 4-volume set LNCS 14331, 14332, 14333, and 14334 constitutes the refereed proceedings of the 7th International Joint Conference, APWeb-WAIM 2023, which took place in Wuhan, China, in October 2023.
The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023.
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6-10, 2023The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 2024.
This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 - July 4, 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 book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13-15, 2024.
This book constitutes the refereed proceedings of the 22nd International Workshop on Approximation and Online Algorithms, WAOA 2024, held in Egham, UK, during September 5-6, 2024.
This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimaraes, Portugal, during May 2024.
This book constitutes the refereed proceedings of the 14th International Conference on Large-Scale Scientific Computations, LSSC 2023, held in Sozopol, Bulgaria, during June 5-9, 2023.
The two-volume set LNICST 570 and 571 constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2023, held in New York City, NY, USA, during November 30, 2023.
This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.
This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.
This textbook presents an overview of the critically important ethical and legal issues that arise in the computing field and provides a professional perspective from software engineering.
This textbook presents an overview of the critically important ethical and legal issues that arise in the computing field and provides a professional perspective from software engineering.
This book constitutes the refereed proceedings of the 26th International Conference on Distributed Computer and Communication Networks: Control, Computation, Communications, DCCN 2023, held in Moscow, Russia, during September 25-29, 2023.
This book constitutes the refereed proceedings of the 26th International Conference on Distributed Computer and Communication Networks: Control, Computation, Communications, DCCN 2023, held in Moscow, Russia, during September 25-29, 2023.
This book offers a comprehensive introduction to technological advances in Internet of Vehicles (IoV), including vehicular communications, vehicular system architectures, data dissemination algorithms, resource allocation schemes, and AI-enabled applications.
This book offers a comprehensive introduction to technological advances in Internet of Vehicles (IoV), including vehicular communications, vehicular system architectures, data dissemination algorithms, resource allocation schemes, and AI-enabled applications.
This book constitutes the refereed proceedings of the 26th International Conference on Information Security and Cryptology on Information Security and Cryptology - ICISC 2023, held in Seoul, South Korea, during November 29-December 1, 2023The 31 full papers included in this book were carefully reviewed and selected from 78 submissions.
This book constitutes the refereed proceedings of the 26th International Conference on Information Security and Cryptology on Information Security and Cryptology - ICISC 2023, held in Seoul, South Korea, during November 29-December 1, 2023The 31 full papers included in this book were carefully reviewed and selected from 78 submissions.
This book constitutes the refereed proceedings of the 26th International Conference on Information Security and Cryptology on Information Security and Cryptology - ICISC 2023, held in Seoul, South Korea, during November 29-December 1, 2023The 31 full papers included in this book were carefully reviewed and selected from 78 submissions.
This book constitutes the refereed proceedings of the 26th International Conference on Information Security and Cryptology on Information Security and Cryptology - ICISC 2023, held in Seoul, South Korea, during November 29-December 1, 2023The 31 full papers included in this book were carefully reviewed and selected from 78 submissions.
This book constitutes revised selected papers from the scientific satellite events held in conjunction with the 21st International Conference on Service-Oriented Computing, ICSOC 2023.
This book constitutes revised selected papers from the scientific satellite events held in conjunction with the 21st International Conference on Service-Oriented Computing, ICSOC 2023.
This book constitutes the refereed proceedings of the 7th EAI International Conference on Smart Grid and Internet of Things, SGIoT 2023, held in TaiChung, Taiwan, in November 18-19, 2023The 15 regular papers presented were carefully reviewed and selected from 38 submissions.
This book constitutes the refereed proceedings of the 7th EAI International Conference on Smart Grid and Internet of Things, SGIoT 2023, held in TaiChung, Taiwan, in November 18-19, 2023The 15 regular papers presented were carefully reviewed and selected from 38 submissions.
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2024, which took place in Puerto Varas, Chile, in March 2024.
This book constitutes the refereed post-conference proceedings of the 13th International Conference on Mobile Networks and Management, MONAMI 2023, held in Yingtan, China, in October 2023.
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2024, which took place in Puerto Varas, Chile, in March 2024.
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2024, which took place in Puerto Varas, Chile, in March 2024.
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2024, which took place in Puerto Varas, Chile, in March 2024.
This book constitutes the refereed post-conference proceedings of the 13th International Conference on Mobile Networks and Management, MONAMI 2023, held in Yingtan, China, in October 2023.
This book constitutes the proceedings of the 7th International Workshop on Chatbot Research and Design, CONVERSATIONS 2023, which was held during November 2023.
This book constitutes the proceedings of the 7th International Workshop on Chatbot Research and Design, CONVERSATIONS 2023, which was held during November 2023.
