This book sheds new light on Transform methods, which dominate the study of linear time-invariant systems in all areas of science and engineering, such as circuit theory, signal/image processing, communications, controls, vibration analysis, remote sensing, biomedical systems, optics, and acoustics.
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the 30th International Conference, COCOON 2024, held in Shanghai, China, during August 23-25, 2024.
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the 30th International Conference, COCOON 2024, held in Shanghai, China, during August 23-25, 2024.
This book constitutes the refereed proceedings of the 7th International Conference on Optimization and Learning, OLA 2024, held in Dubrovnik, Croatia, during May 13-15, 2024.
This book constitutes the refereed proceedings of the 7th International Conference on Optimization and Learning, OLA 2024, held in Dubrovnik, Croatia, during May 13-15, 2024.
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024.
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024.
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on Genetic and Evolutionary Computing, held from August 28-29, 2024 in Miyazaki, Japan.
This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on Genetic and Evolutionary Computing, held from August 28-29, 2024 in Miyazaki, Japan.
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
This two volume set constitutes the refereed proceedings of the International Conference, ESWC 2024 Satellite Events, held in Hersonissos, Crete, Greece during May 26-30, 2024.
This two volume set constitutes the refereed proceedings of the International Conference, ESWC 2024 Satellite Events, held in Hersonissos, Crete, Greece during May 26-30, 2024.
This book constitutes the proceedings of the Joint IAPR International Workshops on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2024, which took place in Venice, Italy, during September 9-11, 2024.
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
This book constitutes the proceedings of the Joint IAPR International Workshops on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2024, which took place in Venice, Italy, during September 9-11, 2024.
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
This two volume set constitutes the refereed proceedings of the International Conference, ESWC 2024 Satellite Events, held in Hersonissos, Crete, Greece during May 26-30, 2024.
This two volume set constitutes the refereed proceedings of the International Conference, ESWC 2024 Satellite Events, held in Hersonissos, Crete, Greece during May 26-30, 2024.
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 42nd National Conference on Theoretical Computer Science, NCTCS 2024, held in Qingdao, China, during July 19-21, 2024.
This book constitutes the refereed proceedings of the 42nd National Conference on Theoretical Computer Science, NCTCS 2024, held in Qingdao, China, during July 19-21, 2024.
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.