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 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 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 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 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 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 refereed proceedings of the 14th International Conference on Advances in Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 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.
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.
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.
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 the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).
This two volume set LNCS 14422-14423 constitutes the refereed proceedings of the 29th International Conference, COCOON 2023, held in Hawaii, HI, USA, during December 2023.
This two volume set LNCS 14422-14423 constitutes the refereed proceedings of the 29th International Conference, COCOON 2023, held in Hawaii, HI, USA, during December 2023.
This book highlights several methods and quantitative implementations of both probabilistic and fuzzy-based approaches to uncertainty quantification and uncertainty propagation through environmental subsurface pollution models with uncertain input parameters.
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.
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.
This two volume set volume LNCS 14422-14423 constitutes the refereed proceedings of the 29th International Conference, COCOON 2023, held in Hawaii, HI, USA, during December 2023.
This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7-8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions.
This book includes extended and revised versions of selected papers from the 11th and 12th editions of the International Conference on Operations Research and Enterprise Systems (ICORES 2022 and ICORES 2023).
This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).
This book includes extended and revised versions of selected papers from the 11th and 12th editions of the International Conference on Operations Research and Enterprise Systems (ICORES 2022 and ICORES 2023).
This book highlights several methods and quantitative implementations of both probabilistic and fuzzy-based approaches to uncertainty quantification and uncertainty propagation through environmental subsurface pollution models with uncertain input parameters.
This book constitutes the refereed proceedings of the 14th International Conference on Advances in Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 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 proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11-13, 2023.
This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11-13, 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 refereed proceedings of the 14th International Conference on Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 2023.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.
Edge computing has been identified as one of the key technologies for 5G networks and beyond due to two prominent advantages: low network latency and reduced core network load.
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023.
This book constitutes the refereed post proceedings of the 17th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2023, held in Venice, Italy, during September 6-8, 2023.
This book constitutes the refereed proceedings of the 4th Southern African Conference on Artificial Intelligence Research, SACAIR 2023, held in Muildersdrift, South Africa, in December 2023.
This book constitutes revised selected papers from the 11th International Workshop on Engineering Multi-Agent Systems, EMAS 2023, which was held in London, UK, during May 29-30, 2023.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.