This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.
Bringing together some of the world’s foremost supply-chain thinkers, this book shows how artificial intelligence (AI) is rewriting the rules of global supply chain management.
This three-set volume LNCS 16217-16219 constitutes the refereed proceedings of 27th International Conference on Information and Communications Security, ICICS 2025, held in Nanjing, China, during October 29–31, 2025.
This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22-24, 2025.
This book covers theoretical trends and practical aspects of soft computing and AI such as intelligent decision-making, control and modeling, deep learning, uncertain computation, natural language processing, and others.
This book covers the optimization of the energy flow management of a grid-tied photovoltaic-wind-battery energy storage system and the development of demand response algorithms for a single customer at the lowest level and extended it to a large community of participants at the highest level.
This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22-24, 2025.
This book covers theoretical trends and practical aspects of soft computing and AI such as intelligent decision-making, control and modeling, deep learning, uncertain computation, natural language processing, and others.
This book is a collection of high-quality research papers presented at 8th Euro-China Conference on Intelligent Data Analysis and Applications, hosted by Minnan Science and Technology College, China and technically co-sponsored by Nanjing University of Information Science and Technology, China.
This book is a compilation of high-quality scientific papers presented at the 6th International Conference on Computer & Communication Technologies (IC3T 2024).
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book is a compilation of high-quality scientific papers presented at the 6th International Conference on Computer & Communication Technologies (IC3T 2024).
This book is a collection of high-quality research papers presented at 8th Euro-China Conference on Intelligent Data Analysis and Applications, hosted by Minnan Science and Technology College, China and technically co-sponsored by Nanjing University of Information Science and Technology, China.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
The two-volume set, LNAI 16221 and 16222, constitutes the proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2025, held in Guanajuato, Mexico, November 3, 2025The 65 full papers presented in these proceedings were carefully reviewed and selected from 119 submissions.
This book constitutes the proceedings of the 20th International Conference on Hybrid Artificial Intelligence Systems, HAIS 2025, held in Salamanca, Spain, during October 16–17, 2025.
The two-volume set, LNAI 16221 and 16222, constitutes the proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2025, held in Guanajuato, Mexico, November 3, 2025The 65 full papers presented in these proceedings were carefully reviewed and selected from 119 submissions.
This book constitutes the proceedings of the 20th International Conference on Hybrid Artificial Intelligence Systems, HAIS 2025, held in Salamanca, Spain, during October 16–17, 2025.
The six-volume proceedings set LNAI 15919, 15920, 15921, 15922, 15923 and 15924 constitutes the refereed proceedings of the 18th International Conference on Knowledge Science, Engineering and Management, KSEM 2025, held in Macao, China during August 4–7, 2025.
This two-volume set constitutes the refereed proceedings of the Third International Conference, ISDS 2025, held in Can Tho City, Vietnam, during October 18–19, 2025.
This two-volume set constitutes the refereed proceedings of the Third International Conference, ISDS 2025, held in Can Tho City, Vietnam, during October 18–19, 2025.
The six-volume proceedings set LNAI 15919, 15920, 15921, 15922, 15923 and 15924 constitutes the refereed proceedings of the 18th International Conference on Knowledge Science, Engineering and Management, KSEM 2025, held in Macao, China during August 4–7, 2025.
The purpose of this book is to cover the most essential aspects of turbulence and its modelling so that the included contents can be taught at a pace and in a sequence that it becomes easier for students to learn the matter over a semester-long duration.
The purpose of this book is to cover the most essential aspects of turbulence and its modelling so that the included contents can be taught at a pace and in a sequence that it becomes easier for students to learn the matter over a semester-long duration.
This book presents the proceedings of the 16th Days of the Bosnian-Herzegovinian American Academy of Arts and Sciences (BHAAAS), held in Sarajevo, Bosnia and Herzegovina, from June 19–22, 2025.
This two-volume set constitutes the refereed proceedings of the Third International Conference, ISDS 2025, held in Can Tho City, Vietnam, during October 18–19, 2025.
This two-set volume CCIS 2671 and 2672 book constitutes the proceedings of the 28th International Conference on Internet and Modern Society, IMS 2025, held in St.
This book presents the proceedings of the 16th Days of the Bosnian-Herzegovinian American Academy of Arts and Sciences (BHAAAS), held in Sarajevo, Bosnia and Herzegovina, from June 19–22, 2025.
This two-volume set constitutes the refereed proceedings of the Third International Conference, ISDS 2025, held in Can Tho City, Vietnam, during October 18–19, 2025.
This two-set volume CCIS 2671 and 2672 book constitutes the proceedings of the 28th International Conference on Internet and Modern Society, IMS 2025, held in St.
This book constitutes the refereed proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, held in Gainesville, FL, USA, during October 14–15, 2024.
This book constitutes the refereed proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, held in Gainesville, FL, USA, during October 14–15, 2024.
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.
This book includes the revised selected papers from the 26th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2024, held in Nizhny Novgorod, Russia, during October 22-25, 2024.
This book includes the revised selected papers from the 26th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2024, held in Nizhny Novgorod, Russia, during October 22-25, 2024.
This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16–21, 2025.
This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16–21, 2025.
This book constitutes the refereed proceedings of the 16th International Symposium on Computer Music Multidisciplinary Research, CMMR 2023, held in Tokyo, Japan, during November 13–17, 2023.
