The subject of the book is Diophantine approximation and Nevanlinna theory. Not only does the text provide new results and ...
Lire la suiteThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lire la suitehe primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
Lire la suiteThis book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Lire la suiteThis book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lire la suiteThis book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
Lire la suiteThis monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...
Lire la suiteThis monographs contains a comprehensive and and state-of-the art study of the basic concepts and principles of variational ...
Lire la suiteThe book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Lire la suiteThe study of shape optimization problems encompasses a wide spectrum of academic research with numerous applications to the ...
Lire la suiteMathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...
Lire la suiteThis monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lire la suiteNicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Lire la suiteVector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...
Lire la suiteThe book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
Lire la suiteVector optimization model has found many important applications in decision making problems such as those in economics theory, ...
Lire la suiteIn spite of the economic role of oil, Venezuela has started developing hydroelectricity since the 1950s. At present, the ...
Lire la suiteThis volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lire la suiteThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lire la suiteThis volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suite