Computer programming / software engineering

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 multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.

This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.

This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.

This handbook exploits the profound experience and expertise of well-established scholars in the empirical software engineering community to provide guidance and support in teaching various research methods and fundamental concepts.

This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024.

This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024.

This handbook exploits the profound experience and expertise of well-established scholars in the empirical software engineering community to provide guidance and support in teaching various research methods and fundamental concepts.

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located with ESORICS 2024 conference.

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located with ESORICS 2024 conference.

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.

The five-volume set CCIS 2133-2137 constitutes the refereed proceedings of the workshops held in conjunction with the Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, during September 18-22, 2023.

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024.

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024.

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 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 volume LNCS 14918 constitutes the refereed proceedings of 28th European Conference, ADBIS 2024, held in Bayonne, France, during August 28-31, 2024.

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.

This volume LNCS 14918 constitutes the refereed proceedings of 28th European Conference, ADBIS 2024, held in Bayonne, France, during August 28-31, 2024.

The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024.

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.

The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024.

This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20-22, 2024.

This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20-22, 2024.

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.

The 2nd edition of this well-established textbook introduces the reader to the fundamentals of contemporary and emerging technologies and services in Internet computing.

The 2nd edition of this well-established textbook introduces the reader to the fundamentals of contemporary and emerging technologies and services in Internet computing.

This book provides a focused overview of what role artificial intelligence (AI) plays on the design and process of system development and perspectives on making it more and more relevant and beneficial for our society.

This book provides a focused overview of what role artificial intelligence (AI) plays on the design and process of system development and perspectives on making it more and more relevant and beneficial for our society.

This book constitutes the refereed proceedings of the Second Analytics Global Conference on Analytics, Machine Learning, and Artificial Intelligence, AGC 2024, held in Kolkata, India, during March 6-7, 2024.

The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024.

The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024.

This book constitutes the refereed proceedings of the Second Analytics Global Conference on Analytics, Machine Learning, and Artificial Intelligence, AGC 2024, held in Kolkata, India, during March 6-7, 2024.

The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024.

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Munster, Germany, during September 27-October 1, 2024.

This two-volume set, LNICST 601 and LNICST 602, constitutes the refereed post-conference proceedings of the 14th International Conference on Broadband Communications, Networks, and Systems, BROADNETS 2024, held in Hyderabad, India, in February 16-17, 2024.

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Munster, Germany, during September 27-October 1, 2024.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024.

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 book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27-28, 2024.

This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27-28, 2024.

The scientific community at the global level is fast becoming aware of the rising use of open-source tools such as R and Python for data analysis.