This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.
This book constitutes the refereed proceedings of the 16th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2022, held in Gaeta, Italy, during September 14-16, 2022.
This book constitutes the refereed proceedings of the 25th International Conference on Distributed Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 2022.
This book constitutes the refereed proceedings of the 5th International Conference on Security and Privacy in New Computing Environments, SPNCE 2022, held in Xi'an, china, in December 30-31, 2022.
This book constitutes the refereed post-conference proceedings of the First International Conference on Pervasive Knowledge and Collective Intelligence on Web and Social Media, PerSOM 2022, which was held in Messina, Italy, in November 2022.
This book constitutes the refereed post-conference proceedings the 7th International Conference on Design, Leaning and Innovation, DLI 2022, which took place in Faro, Portugal, in November 21-22, 2022.
This book constitutes the refereed proceedings of the 4th International Conference on Advances in Quantitative Ethnography, ICQE 2022, held in Copenhagen, Denmark, during October 15-19, 2022.
This book constitutes the refereed proceedings of the 6th EAI International Conference on Smart Grid and Internet of Things, SGIoT 2022, held in TaiChung, Taiwan, in November 19-20, 2022.
This book constitutes the refereed post-conference proceedings of the 7th International Conference on Machine Learning and Intelligent Computing which was held in October 2022 in Jinhua, China.
This volume constitutes selected papers presented during the First International Conference on Cognitive Computation and Systems, ICCCS 2022, held in Beijing, China, in October 2022.
This book gathers the proceedings of the 12th International Conference on Frontier Computing, held in Tokyo, Japan, on July 12-15, 2022, and provides comprehensive coverage of the latest advances and trends in information technology, science, and engineering.
This book constitutes the refereed proceedings of the 34th International Workshop on Combinatorial Algorithms, IWOCA 2023, held in Tainan, Taiwan, during June 7-10, 2023.
This book constitutes the refereed proceedings of the 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, held in Portoroz, Slovenia, in June12-15, 2023.
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
This book constitutes the refereed post-conference proceedings of the 13th International Conference on Wireless and Satellite Services, WiSATS 2022, held in March 12-13, 2023.
This book presents the combined proceedings of the 14th International Conference on Computer Science and its Applications (CSA 2022) and the 16th KIPS International Conference on Ubiquitous Information Technologies and Applications (CUTE 2022), both held in Vientiane, Laos, December 19-21, 2022.
The sixth-generation (6G) communication systems are anticipated to provide network connectivity for an extensive range of use cases in a variety of emerging vertical industries.
This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in Swarm Intelligence, ICSI 2024, held in Xining, China, during August 23-26, 2024.
This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in Swarm Intelligence, ICSI 2024, held in Xining, China, during August 23-26, 2024.
This two-volume set, CCIS 2176-2177, constitutes the proceedings from the Second International Conference on Deep Sciences for Computing and Communications, IconDeepCom 2023, held in Chennai, India, in April 2023.
This book constitutes the refereed proceedings of the Doctoral Consortium and Workshops on New Trends in Database and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4-7, 2023.
This two-volume set, LNCS 15612 and 15613 constitutes the refereed proceedings of the 28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025, in Trieste, Italy, during April 23–25, 2025, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This book presents a framework for designing and implementing technologies to reduce risks in parliamentary decision-making, leading to the emergence of e-politics.
This five-volume set LNCS 14684-14688 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 26 International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29 - July 4, 2024.
Embark on a captivating exploration of human-centered computing and AI, where the convergence of technology and human interaction unveils a world of endless possibilities.
This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of these systems.
The eight-volume set, CCIS 2522-2529, constitutes the extended abstracts of the posters presented during the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg, Sweden, during June 22–27, 2025.
The four-volume set LNAI 15819–15822 constitutes the thoroughly refereed proceedings of the 6th International Conference on Artificial Intelligence in HCI, AI-HCI 2025, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, June 22-17, 2025.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
Recently, high-speed and high-quality technologies for processing many kinds of information have become essential and will become more and more necessary in the future.
The eight-volume set, CCIS 2522-2529, constitutes the extended abstracts of the posters presented during the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg, Sweden, during June 22–27, 2025.
This book constitutes the proceedings of the 17th International Conference on Brain Informatics, BI 2024, which was held in Bangkok, Thailand, during December 13-15, 2024.
The two-volume set CCIS 1869 and 1870 constitutes the refereed proceedings of the 4th International Conference on Neural Computing for Advanced Applications, NCAA 2023, held in Hefei, China, in July 2023.
This 13-volume set LNCS 14862-14874 constitutes - in conjunction with the 6-volume set LNAI 14875-14880 and the two-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This 13-volume set LNCS 14862-14874 constitutes - in conjunction with the 6-volume set LNAI 14875-14880 and the two-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This 13-volume set LNCS 14862-14874 constitutes - in conjunction with the 6-volume set LNAI 14875-14880 and the two-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This book constitutes the refereed proceedings of the 9th China National Conference on Big Data and Social Computing, BDSC 2024, held in Harbin, China, during August 8-10, 2024.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.