This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.
This two-volume set CCIS 2747-2748 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.
This two-volume set CCIS 2747-2748 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.
Architect, migrate, and manage Windows Server on Azure In Running Windows Server 2025 on Microsoft Azure, 5-time Microsoft MVP, William Panek, walks you through the migration of business-critical Windows Server workloads to Azure while ensuring hybrid cloud agility and advanced security.
This book contains papers presented at the International Conference on Smart Cities (ICSC 2024) under the banner of World Engineering, Science & Technology Congress (ESTCON 2024) held from September 10 to 11, at Sabah International Convention Centre, Kota Kinabalu, Malaysia.
This book contains papers presented at the International Conference on Smart Cities (ICSC 2024) under the banner of World Engineering, Science & Technology Congress (ESTCON 2024) held from September 10 to 11, at Sabah International Convention Centre, Kota Kinabalu, Malaysia.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, DGMM 2025, held in Groningen, The Netherlands, during November 3–6, 2025.
This book constitutes the proceedings of the 14th International Conference on Telematics and Computing, WITCOM 2025, held in Huatulco, Mexico, during November 3–7, 2025.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, DGMM 2025, held in Groningen, The Netherlands, during November 3–6, 2025.
This book constitutes the proceedings of the 14th International Conference on Telematics and Computing, WITCOM 2025, held in Huatulco, Mexico, during November 3–7, 2025.
This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 24–28, 2025.
This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 24–28, 2025.
This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during October 8-10, 2025.
This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during October 8-10, 2025.
The two-volume set LNICST 645 + 646 constitutes the proceedings of the 19th International Conference on Communications and Networking in China, ChinaCom 2024, held in Chongqing, China, during November 2–3, 2024.
The two-volume set LNICST 645 + 646 constitutes the proceedings of the 19th International Conference on Communications and Networking in China, ChinaCom 2024, held in Chongqing, China, during November 2–3, 2024.
The two-volume set LNICST 645 + 646 constitutes the proceedings of the 19th International Conference on Communications and Networking in China, ChinaCom 2024, held in Chongqing, China, during November 2–3, 2024.
The two-volume set LNICST 645 + 646 constitutes the proceedings of the 19th International Conference on Communications and Networking in China, ChinaCom 2024, held in Chongqing, China, during November 2–3, 2024.
Architect, migrate, and manage Windows Server on Azure In Running Windows Server 2025 on Microsoft Azure, 5-time Microsoft MVP, William Panek, walks you through the migration of business-critical Windows Server workloads to Azure while ensuring hybrid cloud agility and advanced security.
This book comprises selected papers presented at the International Conference on Wireless Communication (ICWiCOM 2025), which is organized by the Department of Electronics and Telecommunication Engineering, D.
This book constitutes the refereed proceedings of the 14th International Conference on AI and Multimodal Services – AIMS 2025, held as Part of the Services Conference Federation, SCF 2025, in Hong Kong, China, during September 27–30, 2025.
This book comprises selected papers presented at the International Conference on Wireless Communication (ICWiCOM 2025), which is organized by the Department of Electronics and Telecommunication Engineering, D.
This book constitutes the refereed proceedings of the 14th International Conference on AI and Multimodal Services – AIMS 2025, held as Part of the Services Conference Federation, SCF 2025, in Hong Kong, China, during September 27–30, 2025.
This two-volume set LNICST652-653 constitutes the refereed proceedings of the EAI 16th International Conference on International Conference on Towards new e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2024, which took place in Abidjan, Côte d’Ivoire, in November 2024.
This two-volume set LNICST652-653 constitutes the refereed proceedings of the EAI 16th International Conference on International Conference on Towards new e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2024, which took place in Abidjan, Côte d’Ivoire, in November 2024.
This book constitutes the proceedings of the 38th International Conference on Architecture of Computing Systems, ARCS 2025, held in Kiel, Germany, in April 2025.
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.
This book constitutes the proceedings of the 38th International Conference on Architecture of Computing Systems, ARCS 2025, held in Kiel, Germany, in April 2025.
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.
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 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 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 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 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.
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 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 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 proceedings of the 5th EAI International Conference on Technology, Innovation, Entrepreneurship and Education, TIE 2025, held in Cambridge, UK, during March 17-18, 2025.
This book constitutes the refereed proceedings of the 5th EAI International Conference on Technology, Innovation, Entrepreneurship and Education, TIE 2025, held in Cambridge, UK, during March 17-18, 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.
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.
This book constitutes the proceedings of the 44th International Conference on Conceptual Modeling, ER 2025, which took place in Poitiers, France, during October 20–23, 2025.