Software Engineering

This book constitutes the refereed post-conference proceedings of the 13th International Conference on Big Data Technologies and Applications, BDTA 2023, held in Edinburgh, United Kingdom, in August 2023.

This book constitutes the revised selected papers of the 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023The 29 full papers included in this volume were carefully reviewed and selected from 52 submissions.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2023, held in Flic en Flac, Mauritius, in September 16-17, 2023.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc.

This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17-18, 2023.

This book constitutes the revised selected papers of the 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023The 29 full papers included in this volume were carefully reviewed and selected from 52 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17-18, 2023.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This book constitutes revised selected papers from the 4th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2023, which took place in Bizerte, Tunisia, on May 27, 2023.

This book constitutes the refereed proceedings of the 8th International Conference on Internet on Things, ICIOT 2023, held as part of SCF 2023, in Shenzhen, China, during December 17-18, 2023.

This book constitutes the refereed proceedings of the 8th International Conference on Internet on Things, ICIOT 2023, held as part of SCF 2023, in Shenzhen, China, during December 17-18, 2023.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19-20, 2023.

This conference LNAI  14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Merida, Yucatan, Mexico.

This conference LNAI  14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Merida, Yucatan, Mexico.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19-20, 2023.

This book constitutes the refereed post-conference proceedings of the 13th International Conference on Big Data Technologies and Applications, BDTA 2023, held in Edinburgh, United Kingdom, in August 2023.

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.

Learn the latest features of modern C++ by coding eight engaging projects.

Get ready to code like a pro in Rust with insider techniques used by Rust veterans!

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.

This book constitutes the revised selected papers of the 6th Ibero-American Congress on Smart Cities, ICSC-Cities 2023, held in Mexico City and Cuernavaca, Mexico, during November 13-17, 2023.

This book constitutes revised selected papers from the 4th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2023, which took place in Bizerte, Tunisia, on May 27, 2023.

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2023, held in Flic en Flac, Mauritius, in September 16-17, 2023.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This book constitutes the revised selected papers of the 6th Ibero-American Congress on Smart Cities, ICSC-Cities 2023, held in Mexico City and Cuernavaca, Mexico, during November 13-17, 2023.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This book presents the fundamentals of exception handling with examples written in C++ and Python.

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc.

Practical methods for analyzing your data with graphs, revealing hidden connections and new insights.

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic.

The authors of this book explore a way to build cloud-native microservice applications, based on years of practice.

The authors of this book explore a way to build cloud-native microservice applications, based on years of practice.

This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6-9, 2023.

This book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17-20, 2023.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.

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.

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.

The book discusses the evolution of STEM-driven Computer Science (CS) Education based on three categories of Big Concepts, Smart Education (Pedagogy), Technology (tools and adequate processes) and Content that relates to IoT, Data Science and AI.

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.

This book constitutes the revised selected papers of the 13th International Conference on Videogame Sciences and Arts, VJ 2023, held in Aveiro, Portugal, during November 28-30, 2023.

This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6-9, 2023.

This book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17-20, 2023.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.

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.