This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10-11, 2024.
This book constitutes the refereed proceedings of the 50th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, held in Gozd Martuljek, Slovenia in June 2024,The 31 papers presented in this volume were carefully reviewed and selected from 89 submissions.
This book constitutes the proceedings of the 11th International Conference on Network Games, Control and Optimization 2024, NETGCOOP 2024, held during October 9-11, 2024, in Lille, France.
This book constitutes the proceedings of the 11th International Conference on Network Games, Control and Optimization 2024, NETGCOOP 2024, held during October 9-11, 2024, in Lille, France.
This book constitutes the refereed proceedings of the 50th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, held in Gozd Martuljek, Slovenia in June 2024,The 31 papers presented in this volume were carefully reviewed and selected from 89 submissions.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
This book constitutes the refereed proceedings of the 15th International Conference on Optimization and Applications, OPTIMA 2024, held in Petrovac, Montenegro, during September 16-20, 2024.
This book constitutes the refereed proceedings of the 15th International Conference on Optimization and Applications, OPTIMA 2024, held in Petrovac, Montenegro, during September 16-20, 2024.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-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 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.
This book constitutes the refereed post-conference proceedings from the 18th EAI International Conference on Body Area Networks, BODYNETS 2024-A, held in Milan, Italy, in February 5-6, 2024.
This book constitutes the refereed post-conference proceedings from the 18th EAI International Conference on Body Area Networks, BODYNETS 2024-A, held in Milan, Italy, in February 5-6, 2024.
This two-volume set LNCS 15718-15719 constitutes the refereed proceedings of the 22nd European Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1–5, 2025.
The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2024, held in Zakopane, Poland, during June 16-20, 2024.
This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 2024.
This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in Oslo, Norway, during May 24-26, 2024.
This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.
This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.
This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in Oslo, Norway, during May 24-26, 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 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 edited volume reports on the recent activities of the new Center for Approximation and Mathematical Data Analytics (CAMDA) at Texas A&M University.
This textbook introduces variational calculus and regularization methods for inverse problems, seamlessly blending classical concepts with contemporary computational applications, particularly in the field of image processing.
This textbook introduces variational calculus and regularization methods for inverse problems, seamlessly blending classical concepts with contemporary computational applications, particularly in the field of image processing.
This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 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 refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
Now in its second edition, R by Example is an example-based introduction to the statistical computing environment that does not assume any previous familiarity with R or other software packages.
Now in its second edition, R by Example is an example-based introduction to the statistical computing environment that does not assume any previous familiarity with R or other software packages.
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.
