Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
Lire la suite
Computing and Combinatorics
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
Lire la suite
Computing and Combinatorics
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
Lire la suite
Computing in Algebraic Geometry
Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...
Lire la suite
Computing in Algebraic Geometry
Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...
Lire la suite
Conflicts Between Generalization, Rigor, and Intuition
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
Lire la suite
Conformal Groups in Geometry and Spin Structures
This book provides a self-contained overview of this important area of mathematical physics, beginning with its origins in ...
Lire la suite
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Lire la suite
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructive Negations and Paraconsistency
This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive ...
Lire la suite
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
Lire la suite
Continuum Mechanics using Mathematica®
This book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve ...
Lire la suite
Convergence and Applications of Newton-type Iterations
Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical ...
Lire la suite
Coordination Models and Languages (vol. # 4038)
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...
Lire la suite
Courbes algébriques planes = Plane Algebraic Curves
Resulting from a master's course at the University of Paris VII, this text is re-edited as it appeared in 1978. Various ...
Lire la suite
