Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدVerrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice
This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...
اقرأ المزيد
Vortices in the Magnetic Ginzburg-Landau Model
This text presents complete and mathematically rigorous versions of both results either already known by physicists or applied ...
اقرأ المزيد
Walks on Ordinals and Their Characteristics
The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
اقرأ المزيد
Walsh Equiconvergence of Complex Interpolating Polynomials
A collection of the various old and new results, centered around the following simple observation of J L Walsh. This book ...
اقرأ المزيد
Weighted Littlewood-Paley Theory and Exponential-Square Integrability
Littlewood-Paley theory is an essential tool of Fourier analysis, with applications and connections to PDEs, signal processing, ...
اقرأ المزيد
Zeta Functions of Groups and Rings
This book considers a new class of non-commutative zeta functions which encode the structure of the subgroup lattice in infinite ...
اقرأ المزيد
Zeta Functions, Topology and Quantum Physics
This volume focuses on various aspects of zeta functions: multiple zeta values, Ohno’s relations, the Riemann hypothesis, ...
اقرأ المزيد
