Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior… Meer
This book provides the first comprehensive view of safe and secure CPS and IoT systems. The authors address in a unified manner both safety (physical safety of operating equipment and devices) and computer security (correct and sound information), which are traditionally separate topics, practiced… Meer
This book presents expert descriptions of the successful application of operations research in both the private and the public sector, including in logistics, transportation, product design, production planning and scheduling, and areas of social interest… Meer
This book constitutes the refereed and revised post-conference proceedings of the 7th International Workshop on Code-Based Cryptography, CBC 2019, held in Darmstadt, Germany, in May 2019. The eight papers presented in this book were carefully reviewed and selected from numerous submissions… Meer
The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019… Meer
This book presents the most recent challenges and developments in sustainable computing systems with the objective of promoting awareness and best practices for the real world. It aims to present new directions for further research and technology improvements in this important area. Meer
This book constitutes extended, revised and selected papers from the 20th International Conference on Enterprise Information Systems, ICEIS 2018, held in Funchal, Madeira, Portugal, in March 2018. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in this book… Meer
This graduate-level textbook elucidates low-risk and fail-safe systems in mathematical detail. It addresses, in particular, problems where mission-critical performance is paramount, such as in aircraft, missiles, nuclear reactors and weapons, submarines, and many other types of systems where… Meer
The fourth edition of this classic textbook provides major updates. This edition has completely new chapters on Big Data Platforms (distributed storage systems, MapReduce, Spark, data stream processing, graph analytics) and on NoSQL, NewSQL and polystore systems… Meer
This book presents the latest developments concerning techniques, tools, and methodologies in supply chain ecosystems. It gathers contributions from a variety of experts, who analyze a range of case studies and industrial sectors such as manufacturing, energy, agricultural, healthcare, humanitarian… Meer
Research on students’ media use outside of education is just slowly taking off. Influences of information and communication technologies (ICT) on human information processing are widely assumed and particularly effects of dis- and misinformation are a current threat to democracies… Meer
This book constitutes the proceedings of the Second International Conference on Information and Communication Technology for Development for Africa, ICT4DA 2019, held in Bahir Dar, Ethiopia, in May 2019. The 29 revised full papers presented were carefully reviewed and selected from 69 submissions… Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2018, and the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2018, held in Funchal-Madeira… Meer
This book presents a novel approach to the formulation and solution of three classes of problems: the fully fuzzy transportation problem, the fully fuzzy transshipment problem, and fully fuzzy solid transportation problem… Meer
This book presents the latest technological advances and practical tools for discovering, verifying and visualizing social media video content, and managing related rights. The digital media revolution is bringing breaking news to online video platforms, and news organizations often rely on… Meer
This book presents the latest technological advances and practical tools for discovering, verifying and visualizing social media video content, and managing related rights. The digital media revolution is bringing breaking news to online video platforms, and news organizations often rely on… Meer
This book constitutes thoroughly revised and selected papers from the 13 th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2018, held in Funchal-Madeira, Portugal, in January 2018… Meer
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019… Meer
This book constitutes the refereed proceedings of the 16th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2019, held in Milan, Italy, in September 2019. The 30 papers presented in this volume were carefully reviewed and selected from 50 submissions… Meer
The three-volume set, LNCS 11692, LNCS 11693, and LNCS 11694, constitutes the refereed proceedings of the 39th Annual International Cryptology Conference, CRYPTO 2019, held in Santa Barbara, CA, USA, in August 2019… Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books
