Hardware

This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The importa …

"The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely refer …

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 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, …