Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
Offers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
Lire la suite
Provides readers with a full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of ...
Lire la suite
Full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of the most challenging problems ...
Lire la suite
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lire la suite
Exposes dialogue between history, theory, design, construction, technology, and sensory experience by means of digital simulations ...
Lire la suite
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lire la suite
While the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and ...
Lire la suite
The book is unique in combining a challenging interpretation of one the foremost European conceptions of fundamental rights ...
Lire la suite
It presents the normal appearances on the most frequently used imaging techniques, including conventional radiology, ultrasound, ...
Lire la suite
This book combines insights from language assessment literacy and critical language testing through critical analyses and ...
Lire la suite
Claude-Nicolas Ledoux (1736-1806) is today regarded as chief representative of French revolutionary architecture. With his ...
Lire la suite
This book presents histories of the WCCES and its member societies. It shows ways in which the field has changed over the ...
Lire la suite
This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
Lire la suite
Dignity in the 21st Century - Middle East and West is unique and insightful for a range of reasons. First, the book is co-authored ...
Lire la suite
ERP (Enterprise Resource Planning) systems are now the backbone of the information systems in public and private sector organisations. ...
Lire la suite
Decentralization and Education: Asian Experiences and Conceptual Contributions examines the specific ways in which decentralization ...
Lire la suite
This book is designed to meet the demand for a comprehensive yet concise source of information on temporomandibular joint ...
Lire la suite
Provides an analysis of how the educational strategy of Universal Design for Learning can stimulate the process of inclusive ...
Lire la suite
In this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing ...
Lire la suite