Complexity Theory
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
Weiterlesen
Computational Commutative Algebra 2
The main part of this book is a breathtaking passeggiata through the computational domains of graded rings and modules and ...
Weiterlesen
Computational Ergodic Theory
Ergodic theory is hard to study because it is based on measure theory, which is a technically difficult subject to master ...
Weiterlesen
Computational Noncommutative Algebra and Applications
The fusion of algebra, analysis and geometry, and their application to real world problems, have been dominant themes underlying ...
Weiterlesen
Computer Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Weiterlesen
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
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
Control of Spatially Structured Random Processes and Random Fields with Applications
This book is devoted to the study and optimization of spatiotemporal stochastic processes, that is, processes which develop ...
Weiterlesen
Control of Spatially Structured Random Processes and Random Fields with Applications
This book is devoted to the study and optimization of spatiotemporal stochastic processes, that is, processes which develop ...
Weiterlesen
Convex Functional Analysis
This volume is dedicated to the fundamentals of convex functional analysis. It presents those aspects of functional analysis ...
Weiterlesen
Convex Polyhedra
Convex Polyhedra is one of the classics in geometry. There simply is no other book with so many of the aspects of the theory ...
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
Critical Point Theory and Its Applications
The book include extrema, even valued functionals, weak and double linking, sign changing solutions, Morse inequalities, ...
Weiterlesen
Critical Point Theory and Its Applications
The book include extrema, even valued functionals, weak and double linking, sign changing solutions, Morse inequalities, ...
Weiterlesen
Curve e superfici
The book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion ...
Weiterlesen
