Computer programming / software engineering

This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9-11, 2024.

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.

This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9-11, 2024.

This edited volume reports on the recent activities of the new Center for Approximation and Mathematical Data Analytics (CAMDA) at Texas A&M University.

This book constitutes the refereed proceedings of the 12th Ecuadorian Conference on Information and Communication Technologies, TICEC 2024, held in Loja, Ecuador, during October 16-18, 2024.

This book constitutes the refereed proceedings of the 12th Ecuadorian Conference on Information and Communication Technologies, TICEC 2024, held in Loja, Ecuador, during October 16-18, 2024.

This edited volume reports on the recent activities of the new Center for Approximation and Mathematical Data Analytics (CAMDA) at Texas A&M University.

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024.

This book constitutes the refereed proceedings of the 30th International Conference on Cooperative Information Systems, CoopIS 2024, held in Porto, Portugal, during November 19-21, 2024.

This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators.

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators.

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.

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 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 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 proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024.

This proceedings volume compiles selected, revised papers presented at the 53rd SouthEastern International Conference on Combinatorics, Graph Theory, and Computing (SEICCGTC 2022), which took place at Florida Atlantic University in Boca Raton, USA, from March 7th to 11th, 2022.

This proceedings volume compiles selected, revised papers presented at the 53rd SouthEastern International Conference on Combinatorics, Graph Theory, and Computing (SEICCGTC 2022), which took place at Florida Atlantic University in Boca Raton, USA, from March 7th to 11th, 2022.

This three-volume set CCIS 2366-2368 constitutes the refereed proceedings of the 6th International Conference on Computational Intelligence in Communications and Business Analytics, CICBA 2024, held in Patna, India, during January 23-25, 2024.

This book constitutes revised selected papers from the 12th and 13th International Conference on Cloud Computing and Services Science , CLOSER 2022 and CLOSER 2023, which took place as a virtual event in April 2022 and in Prague, Czech Republic, in April 2023.

This book constitutes revised selected papers from the 12th and 13th International Conference on Cloud Computing and Services Science , CLOSER 2022 and CLOSER 2023, which took place as a virtual event in April 2022 and in Prague, Czech Republic, in April 2023.

Tips, tricks, design patterns, and secret features of Rust that will help you build stable and maintainable applications.

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 CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 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 CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.

This book constitutes the proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024.

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.

Dive into DuckDB and start processing gigabytes of data with easeall with no data warehouse.

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.

Solve design, planning, and control problems using modern AI techniques.

The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3-6, 2024.

The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3-6, 2024.

This book constitutes the refereed proceedings of the 7th IFIP WG 5.

This book constitutes the refereed proceedings of the 7th IFIP WG 5.

This three-volume set CCIS 2366-2368 constitutes the refereed proceedings of the 6th International Conference on Computational Intelligence in Communications and Business Analytics, CICBA 2024, held in Patna, India, during January 23-25, 2024.

This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23-27, 2024.

This book is a self-contained introduction to engineering and testing machine learning (ML) systems.

This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.

This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.

This book constitutes thoroughly refereed and revised selected papers from the 12th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2023, held in Havana, Cuba, during October 16-17, 2023.

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.

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 two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024.