This book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17-20, 2023.
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
The book discusses the evolution of STEM-driven Computer Science (CS) Education based on three categories of Big Concepts, Smart Education (Pedagogy), Technology (tools and adequate processes) and Content that relates to IoT, Data Science and AI.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
This book constitutes the revised selected papers of the 13th International Conference on Videogame Sciences and Arts, VJ 2023, held in Aveiro, Portugal, during November 28-30, 2023.
This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6-9, 2023.
This book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17-20, 2023.
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
The book discusses the evolution of STEM-driven Computer Science (CS) Education based on three categories of Big Concepts, Smart Education (Pedagogy), Technology (tools and adequate processes) and Content that relates to IoT, Data Science and AI.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
This book constitutes the revised selected papers of the 13th International Conference on Videogame Sciences and Arts, VJ 2023, held in Aveiro, Portugal, during November 28-30, 2023.
This book constitutes the refereed proceedings of the 20th International Conference on Services Computing, SCC 2023, held in Shenzhen, China, during December 17-18, 2023.
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023.
This book constitutes the refereed proceedings of the 20th International Conference on Services Computing, SCC 2023, held in Shenzhen, China, during December 17-18, 2023.
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
This book provides a comprehensive overview of Nuclear Magnetic Resonance (NMR) theory, its applications, and advanced techniques to improve the quality and speed of NMR data acquisition.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
This book constitutes the refereed post-conference proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, held in Prague, Czech Republic, during April 24-25, 2023.
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.
This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023.
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings.
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.
This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023.
This book constitutes the refereed conference proceedings of the 6th International Conference on Emerging Technologies in Computing, iCETiC 2023, held at Southend-on-Sea, UK, in August 2023.
This book constitutes the refereed conference proceedings of the 6th International Conference on Emerging Technologies in Computing, iCETiC 2023, held at Southend-on-Sea, UK, in August 2023.
This book constitutes the refereed post-conference proceedings of the 7th International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2023, held in Bratislava, Slovakia, in October 2023.
This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.
This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Evora, Portugal, during November 22-24, 2023.
This book constitutes the revised selected papers of the First International Conference, ICSD 2023, virtually held in Delhi, India, during July 15-16, 2023.
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.
This book constitutes the proceedings of the 18th International Conference, ICTERI 2023, held in Ivano-Frankivsk, Ukraine, during September 18-22, 2023.
These two volumes constitute the revised selected papers of First International Conference, ICAIoT 2023, held in Chandigarh, India, during March 30-31, 2023.
This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023.
These two volumes constitute the revised selected papers of First International Conference, ICAIoT 2023, held in Chandigarh, India, during March 30-31, 2023.
This book mainly introduces the research overview, results, and achievements of "e;The Fundamental Research for Trustworthy Software"e;, a major research plan of NSFC.
