Datorarkitektur & logisk design

The book will help the readers in the field of the Internet of Things, and especially its convergence with artificial intelligence, which has given rise to the new paradigm of …

The COVID-19 pandemic upended the lives of many and taught us the critical importance of taking care of one's health and wellness. Technological advances, coupled with advances in …

The volume LNAI 12228 constitute the refereed proceedings of the 21th Annual Conference "e;Towards Autonomous Robotics,"e; TAROS 20120, held in Nottingham, UK, in September …

Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen …

Making significant changes to large, complex codebases is a daunting task--one that's nearly impossible to do successfully unless you have the right team, tools, and mindset. If …

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.The …

In today's era, there is a need for a system that can automate the process of treatment for the patient if medical facilities are out of reach. Smart healthcare can step in to make …

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, …

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, …

This two-volume set of HCIBGO 2023, constitutes the refereed proceedings of the 10h International Conference on HCI in Business, Government and Organizations, held as Part of the …