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 ...
Weiterlesen
Computing and Combinatorics
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
Weiterlesen
Computing and Combinatorics
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
Weiterlesen
Computing in Algebraic Geometry
Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...
Weiterlesen
Computing in Algebraic Geometry
Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...
Weiterlesen
Conflicts Between Generalization, Rigor, and Intuition
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
Weiterlesen
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 ...
Weiterlesen
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Weiterlesen
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructive Negations and Paraconsistency
This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive ...
Weiterlesen
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
Weiterlesen
Continuum Mechanics using Mathematica®
This book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve ...
Weiterlesen
Convergence and Applications of Newton-type Iterations
Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical ...
Weiterlesen
Coordination Models and Languages (vol. # 4038)
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...
Weiterlesen
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 ...
Weiterlesen
