Trustworthy Global Computing
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
اقرأ المزيد
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
اقرأ المزيد
Typed Lambda Calculi and Applications
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
اقرأ المزيد
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
اقرأ المزيد
Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
اقرأ المزيد
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
Ultrasonic Periodontal Debridement : Theory and Technique / Donley, Timothy G.; George, Marie D.; Preshaw, Philip M
Focuses exclusively on this fundamentally important component of periodontal therapy. George, Donley, and Preshaw provide ...
اقرأ المزيد
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
اقرأ المزيد
Understanding Willing Participants, Volume 2
This volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished ...
اقرأ المزيد
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
اقرأ المزيد
Urban Design / Christa Reicher
In this basic textbook, prospective architects, urban and landscape planners receive assistance in working on urban development ...
اقرأ المزيد
Using Discrete Choice Experiments to Value Health and Health Care
Using Discrete Choice Experiments to Value Health and Health Care takes a fresh and contemporay look at the growing interest ...
اقرأ المزيد
Validated Designs for Object-oriented Systems
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
اقرأ المزيد
Validity and Reliability in Built Environment Research : A Selection of Case Studies / ian Ahmed, Alex Opoku, Ayokunle Olanipekun, Monty Sutrisna
Presents case studies that emphasize reliability and validity in different examples of qualitative, quantitative and mixed ...
اقرأ المزيدValue Sets for EQ-5D-5L : A Compendium, Comparative Review & User Guide
This book provides an essential guide to value sets for anyone working with EQ-5D-5L data. The EQ-5D-5L is one of the most ...
اقرأ المزيد
Valuing Environmental Amenities Using Stated Choice Studies
This book provides practical, research-based advice on how to conduct high-quality stated choice studies. It covers every ...
اقرأ المزيد
Variational and Potential Methods for a Class of Linear Hyperbolic Evolutionary Processes
The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic ...
اقرأ المزيد
Vector Optimization
Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...
اقرأ المزيدVergleichsweise menschlich? : Ambulante Sanktionen als Alternative zur Freiheitsentziehung aus europäischer Perspektive = Comparatively human? : Outpatient sanctions as an alternative to imprisonment from a European perspective
Ambulatory sanctions are often seen as a humane alternative to deprivation of liberty. The nature of intervention, the perspective ...
اقرأ المزيد
