Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد
Unitals in Projective Planes
This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...
اقرأ المزيد
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 ...
اقرأ المزيد
Urban Socio-Economic Segregation and Income Inequality A Global Perspective
This book investigates the link between income inequality and socio-economic residential segregation in 24 large urban regions ...
اقرأ المزيد
Using Algebraic Geometry
In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...
اقرأ المزيد
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 ...
اقرأ المزيد
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
اقرأ المزيد
Validated Designs for Object-oriented Systems
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
اقرأ المزيد
Validation in Chemical Measurement
Validationofmeasurementmethodshasbeenusedforavery ciated measurement uncertainty? The answer must be: no. longtimeinchemistry. ...
اقرأ المزيد
Validation of Risk Management Models for Financial Institutions : Theory and Practice / David Lynch, Iftekhar Hasan, Akhtar Siddique
Covers all of the major risk areas that a financial institution is exposed to and uses models for, including market risk, ...
اقرأ المزيد
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 Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
اقرأ المزيد
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 ...
اقرأ المزيد
Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
اقرأ المزيد
Variable-length Codes for Data Compression
Most data compression methods that are based on variable-length codes employ the Huffman or Golomb codes. However, there ...
اقرأ المزيد
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
اقرأ المزيد
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 ...
اقرأ المزيد
Vascular Embolotherapy
Endovascular embolization therapy has made remarkable progress during the past two decades, driven primarily by improvements ...
اقرأ المزيد
