This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
WeiterlesenMost of the papers deal with different aspects of the Asymptotic Geometric Analysis, ranging from classical topics in the ...
WeiterlesenThis textbook introduces geometric measure theory through the notion of currents. Currents—continuous linear functionals ...
WeiterlesenThis volume offers an introduction, in the form of four extensive lectures, to some recent developments in several active ...
WeiterlesenStarting point and motivation for this volume is the classical Muentz theorem which states that the space of all polynomials ...
WeiterlesenThis book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept ...
WeiterlesenGraph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its ...
WeiterlesenThis book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...
WeiterlesenThis volume collects three series of lectures on applications of the theory of Hamiltonian systems, contributed by some of ...
WeiterlesenThis book provides the first comprehensive and complete overview on results and methods concerning normal frames and coordinates ...
WeiterlesenThis book provides the first comprehensive and complete overview on results and methods concerning normal frames and coordinates ...
WeiterlesenThe main analytic tool is the analytic localization technique in local index theory developed by Bismut-Lebeau. The book ...
WeiterlesenThe notion of a fixed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout ...
WeiterlesenThe notion of a fixed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout ...
WeiterlesenThe present Cime volume includes four lectures by Bressan, Serre, Zumbrun and Williams and an appendix with a Tutorial on ...
WeiterlesenThe book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
WeiterlesenAlgebraic Geometry is the study of systems of polynomial equations in one or more variables.The solutions of a system of ...
WeiterlesenThis volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
WeiterlesenThe 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
WeiterlesenThe 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Weiterlesen