Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lee mas
Unitals in Projective Planes
This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...
Lee mas
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Lee mas
Urban Design / Christa Reicher
In this basic textbook, prospective architects, urban and landscape planners receive assistance in working on urban development ...
Lee mas
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 ...
Lee mas
Using Algebraic Geometry
In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Validated Designs for Object-oriented Systems
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
Lee mas
Validation in Chemical Measurement
Validationofmeasurementmethodshasbeenusedforavery ciated measurement uncertainty? The answer must be: no. longtimeinchemistry. ...
Lee mas
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, ...
Lee mas
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 ...
Lee masValue 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 ...
Lee mas
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lee mas
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 ...
Lee mas
Vascular Embolotherapy
Endovascular embolization therapy has made remarkable progress during the past two decades, driven primarily by improvements ...
Lee mas
