Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
اقرأ المزيدUltrasonic Processes and Machines
This work presents the foundations of dynamics and control for ultrasonic processing systems. The intention is to bridge ...
اقرأ المزيد
Universal Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
اقرأ المزيدUniversity and School Collaborations during a Pandemic : Sustaining Educational Opportunity and Reinventing Education
Based on twenty case studies of universities worldwide, and on a survey administered to leaders in 101 universities, this ...
اقرأ المزيد
Urban Informatics
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
اقرأ المزيد
Urodynamics
Urodynamics provides a simple yet practical guide to the functional investigation of patients with incontinence and voiding ...
اقرأ المزيد
V-Invex Functions and Vector Optimization
the book focuses on V-invex functions in vector optimization that have grown out of the work of Jeyakumar and Mond in the ...
اقرأ المزيد
VEGF in Development
This book is devoted to vascular endothelial growth factor A (VEGF or VEGFA), a secreted signalling protein of great significance ...
اقرأ المزيد
Vaccine Adjuvants
The authors lay down a rational basis for vaccine adjuvant function and analyze a number of significantly distinct adjuvant-active ...
اقرأ المزيد
Validated Designs for Object-oriented Systems
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
اقرأ المزيد
Value Distribution Theory Related to Number Theory
The subject of the book is Diophantine approximation and Nevanlinna theory. Not only does the text provide new results and ...
اقرأ المزيد
Value-Distribution of L-Functions
This book presents recent results in the value-distribution theory of L-functions with emphasis on the phenomenon of universality. ...
اقرأ المزيد
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
اقرأ المزيد
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 Methods in Shape Optimization Problems
The study of shape optimization problems encompasses a wide spectrum of academic research with numerous applications to the ...
اقرأ المزيد
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 Mechanics and Pathology
Vascular Mechanics and Pathology focuses on the artery and arterial diseases. As the fundamental functions of the artery ...
اقرأ المزيد
Vector Analysis for Computer Graphics
The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
اقرأ المزيد
Vegetative Powers
The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...
اقرأ المزيد
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
اقرأ المزيد
