25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
3-D Computer Vision. Principles, Algorithms and Applications / Yu-Jin Zhang
Offers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
Lee mas
3D Imaging in Endodontics A New Era in Diagnosis and Treatment / Mohamed Fayad, Bradford R. Johnson
Provides readers with a full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of ...
Lee mas
3D imaging in endodontics : a new era in diagnosis and treatment / Mohamed Fayad, Bradford R. Johnson
Full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of the most challenging problems ...
Lee mas
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lee mas
Alvar Aalto and the future of architecture / Robert Cody, Angela Amoia
Exposes dialogue between history, theory, design, construction, technology, and sensory experience by means of digital simulations ...
Lee mas
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lee mas
Applied Rasch Measurement: A Book of Exemplars
While the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and ...
Lee mas
Arguing Fundamental Rights
The book is unique in combining a challenging interpretation of one the foremost European conceptions of fundamental rights ...
Lee mas
Atlas of Imaging Anatomy / Lucio Olivetti
It presents the normal appearances on the most frequently used imaging techniques, including conventional radiology, ultrasound, ...
Lee mas
Challenges in Language Testing Around the World : Insights for language test users / Betty Lanteigne, Christine Coombe, James Dean Brown
This book combines insights from language assessment literacy and critical language testing through critical analyses and ...
Lee mas
Claude-Nicolas Ledoux : architecture and Utopia in the era of the French Revolution / Anthony Vidler, Claude Nicolas Ledoux
Claude-Nicolas Ledoux (1736-1806) is today regarded as chief representative of French revolutionary architecture. With his ...
Lee mas
Common Interests, Uncommon Goals : Histories of the World Council of Comparative Education Societies and its Members
This book presents histories of the WCCES and its member societies. It shows ways in which the field has changed over the ...
Lee mas
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
Lee mas
Dignity in the 21st Century
Dignity in the 21st Century - Middle East and West is unique and insightful for a range of reasons. First, the book is co-authored ...
Lee mas
ERP Systems and Organisational Change : A Socio-technical Insight
ERP (Enterprise Resource Planning) systems are now the backbone of the information systems in public and private sector organisations. ...
Lee mas
Educational Decentralization
Decentralization and Education: Asian Experiences and Conceptual Contributions examines the specific ways in which decentralization ...
Lee mas
Imaging of the Temporomandibular Joint
This book is designed to meet the demand for a comprehensive yet concise source of information on temporomandibular joint ...
Lee mas
Improving Inclusive Education through Universal Design for Learning
Provides an analysis of how the educational strategy of Universal Design for Learning can stimulate the process of inclusive ...
Lee mas
Institutional Context of Education Systems in Europe
In this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing ...
Lee mas
