Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lee mas
Geometric Aspects of Functional Analysis
Most of the papers deal with different aspects of the Asymptotic Geometric Analysis, ranging from classical topics in the ...
Lee mas
Geometric Integration Theory
This textbook introduces geometric measure theory through the notion of currents. Currents—continuous linear functionals ...
Lee mas
Geometric and Topological Methods for Quantum Field Theory
This volume offers an introduction, in the form of four extensive lectures, to some recent developments in several active ...
Lee mas
Geometry of Müntz Spaces and Related Questions
Starting point and motivation for this volume is the classical Muentz theorem which states that the space of all polynomials ...
Lee mas
Geometry of Quantum Theory
This book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept ...
Lee mas
Graph Theory
Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its ...
Lee mas
Graphs, Networks and Algorithms
This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...
Lee mas
Hamiltonian Dynamics - Theory and Applications
This volume collects three series of lectures on applications of the theory of Hamiltonian systems, contributed by some of ...
Lee mas
Handbook of Normal Frames and Coordinates
This book provides the first comprehensive and complete overview on results and methods concerning normal frames and coordinates ...
Lee mas
Handbook of Normal Frames and Coordinates
This book provides the first comprehensive and complete overview on results and methods concerning normal frames and coordinates ...
Lee mas
Holomorphic Morse Inequalities and Bergman Kernels
The main analytic tool is the analytic localization technique in local index theory developed by Bismut-Lebeau. The book ...
Lee mas
Homotopy Methods in Topological Fixed and Periodic Points Theory
The notion of a fixed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout ...
Lee mas
Homotopy Methods in Topological Fixed and Periodic Points Theory
The notion of a fixed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout ...
Lee mas
Hyperbolic Systems of Balance Laws
The present Cime volume includes four lectures by Bressan, Serre, Zumbrun and Williams and an appendix with a Tutorial on ...
Lee mas
Ideals and Reality
The book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
Lee mas
Ideals, Varieties, and Algorithms
Algebraic Geometry is the study of systems of polynomial equations in one or more variables.The solutions of a system of ...
Lee mas
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lee mas
Implementation and Application of Functional Languages (vol. # 3474)
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
Lee mas
Implementation and Application of Functional Languages (vol. # 4015)
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lee mas
