The book examines the overall interplay between privatisation, decentralisation and the role of the state. The authors draw ...
Weiterlesen
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Weiterlesen
Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...
Weiterlesen
Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...
Weiterlesen
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Weiterlesen
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Weiterlesen
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
Weiterlesen
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
Weiterlesen
The benefits of reading this book are twofold. The first is an understanding of the stages of a new product development process ...
Weiterlesen
Topics and features: Presents a curiosity-driven approach, posing questions to stimulate readers to design novel computational ...
Weiterlesen
Examines and demonstrates state-of-the-art approaches for IoT and Machine Learning based biomedical and health related applications. ...
Weiterlesen
In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Weiterlesen
This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...
Weiterlesen
This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...
Weiterlesen
This open access book offers an exploration of delusions--unusual beliefs that can significantly disrupt people's lives. ...
Weiterlesen
Rely on this handy pocket guide to quickly reference the must-know information you need to prepare for the everyday encounters ...
Weiterlesen
Discusses how dentofacial anomalies affect voice and wind instrument playing with emphasis on upper airway space shape and ...
Weiterlesen
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Weiterlesen
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Weiterlesen