This project was motivated by the upcoming fiftieth anniversary of the IFIP Human Choice and Computers (HCC) conference, the event that led to IFIP's Technical Committee 9 (TC 9).
This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 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.
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.
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.
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.
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.
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024.
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 proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024.
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 two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023.
This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 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.
Since the last edition of this book (2014), progress has been astonishing in all areas of Natural Language Processing, with recent achievements in Text Generation that spurred a media interest going beyond the traditional academic circles.
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13-15, 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 revised selected papers from the 8th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2023, held in Amsterdam, The Netherlands, on September 5, 2023.
This book constitutes revised selected papers from the 8th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2023, held in Amsterdam, The Netherlands, on September 5, 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.
The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2023, held in Hawaii, HI, USA, during December 15-17, 2023.
