Hardware

This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are pres …

This book constitutes the revised selected papers of the 9th International Conference on Cloud Computing, Big Data & Emerging Topics, JCC-BD&ET 2021, held in La Plata, Argentina*, in June 2021.The 12 …

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume we …

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully …

This book reviews and presents a number of approaches to Fuzzy-based system safety and reliability assessment. For each proposed approach, it provides case studies demonstrating their applicability, …

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, Euro GP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo …

This book constitutes the refereed proceedings of the 7th International Conference on Soft Computing in Data Science, SCDS 2023, which was held virtually in January 2023. The 21 revised full papers p …

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full researc …

This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation Arithmetic, Co NGA 2024, held in Sydney, NSW, Australia, during February 20-21, …

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Computer Networks, CN 2017, held in Brunow, Poland, in June 2017. The 35 full papers presented were c …