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.
Geschildert wird das Leben und Wirken von Gottlob Frege (1848-1925), einem der größten Denker der Neuzeit, der in Wismar aufwuchs und der später inmitten der kleineren, aber durch bedeutende Gelehrte und Industrielle aufblühenden Universitätsstadt Jena als Mathematikprofessor tätig war.
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 book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 2025.
This book constitutes the proceedings of the 3rd International Conference on Data Security and Privacy Protection, DSPP 2025, held in Xi'an, China, during October 16–18, 2025.
This book constitutes the proceedings of the 3rd International Conference on Data Security and Privacy Protection, DSPP 2025, held in Xi'an, China, during October 16–18, 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 constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 2025.
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 book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 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 constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 2025.
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.
This book constitutes the proceedings of the 34th International Conference on Software and Data Engineering, SEDE 2025, held in New Orleans, LA, USA, during October 20–21, 2025.
This book constitutes the proceedings of the 34th International Conference on Software and Data Engineering, SEDE 2025, held in New Orleans, LA, USA, during October 20–21, 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-volume set LNBI 16050-16051 constitutes the proceedings of the 12th International Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2025, held in Canaria, Spain, during July 16–18, 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.
