Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Continue reading
Valued Fields
In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...
Continue reading
Values Education and Lifelong Learning
The aim of this book is to provide an easily accessible, practical yet scholarly source of information about the international ...
Continue reading
Values and Valuing in Mathematics Education
This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...
Continue reading
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
Continue reading
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Continue reading
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Continue reading
Variational Analysis and Applications
This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
Continue reading
Variational Analysis and Generalized Differentiation II
This monographs contains a comprehensive and and state-of-the art study of the basic concepts and principles of variational ...
Continue reading
Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems
The book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Continue reading
Variational Methods in Shape Optimization Problems
The study of shape optimization problems encompasses a wide spectrum of academic research with numerous applications to the ...
Continue reading
Variational Problems in Materials Science
This volume contains the proceedings of the international workshop Variational Problems in Materials Science, which was jointly ...
Continue reading
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 ...
Continue readingVariational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
Continue reading
Variational, Geometric, and Level Set Methods in Computer Vision
Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...
Continue reading
Vascular Complications in Human Disease : Mechanisms and Consequences
Vascular disease provides a clear example of the inherent and practical relationship between basic science and clinical medicine. ...
Continue reading
Vector Analysis for Computer Graphics
Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...
Continue reading
Vector Analysis for Computer Graphics
The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
Continue reading
Vector Control of Three-Phase AC Machines : System Development in the Practice
This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage ...
Continue reading
Vector Optimization
Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...
Continue reading
