Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيدOffers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
اقرأ المزيدThe book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
اقرأ المزيدUlrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
اقرأ المزيدWhile the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and ...
اقرأ المزيدThe book is unique in combining a challenging interpretation of one the foremost European conceptions of fundamental rights ...
اقرأ المزيدIt presents the normal appearances on the most frequently used imaging techniques, including conventional radiology, ultrasound, ...
اقرأ المزيدThis book combines insights from language assessment literacy and critical language testing through critical analyses and ...
اقرأ المزيدThis book presents histories of the WCCES and its member societies. It shows ways in which the field has changed over the ...
اقرأ المزيدThis book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
اقرأ المزيدDignity in the 21st Century - Middle East and West is unique and insightful for a range of reasons. First, the book is co-authored ...
اقرأ المزيدERP (Enterprise Resource Planning) systems are now the backbone of the information systems in public and private sector organisations. ...
اقرأ المزيدDecentralization and Education: Asian Experiences and Conceptual Contributions examines the specific ways in which decentralization ...
اقرأ المزيدThis book is designed to meet the demand for a comprehensive yet concise source of information on temporomandibular joint ...
اقرأ المزيدProvides an analysis of how the educational strategy of Universal Design for Learning can stimulate the process of inclusive ...
اقرأ المزيدIn this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing ...
اقرأ المزيدThe objective of to provide ICAO, States, competent authorities and aerodrome operators with a comprehensive overview of ...
اقرأ المزيدGiven the relative indeterminacy of law, it is no surprise that the problem of interpretation has always been one of the ...
اقرأ المزيدoffers contributions to a philosophical and realistic approach to the place of adjudication in contemporary constitutional ...
اقرأ المزيدHow can poetry embrace morality through focusing on metaphrasts? What is the relation between an allummette and the alpha ...
اقرأ المزيد