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