Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
Bemærk: Kan ikke leveres før jul.
Various methods can be used: (high order) Finite Difference Method, Finite Element Method, Discontinuous Galerkin Method and Boundary Element Method.
Bemærk: Kan ikke leveres før jul.
This book is devoted to the study of partial differential equation problems both from the theoretical and numerical points of... Læs mere
Bemærk: Kan ikke leveres før jul.
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science.
Bemærk: Kan ikke leveres før jul.
This book collects the papers of the conference held in Berlin, Germany, 27-29 August 2012, on 'Space, Geometry and the... Læs mere
Bemærk: Kan ikke leveres før jul.
The contributing authors represent a group of international experts in... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume consists of contributions spanning a wide spectrum of harmonic analysis and its applications written by speakers at the February Fourier Talks from 2002 – 2013.
Bemærk: Kan ikke leveres før jul.
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose... Læs mere
Bemærk: Kan ikke leveres før jul.
George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). Congruence Lattices of Infinite Lattices and Beyond includes four chapters by Friedrich Wehrung and George Grätzer.
Bemærk: Kan ikke leveres før jul.
These include random matrix theory, nonparametric statistics, empirical process theory, statistical learning theory, concentration of measure phenomena,... Læs mere
Bemærk: Kan ikke leveres før jul.
Geometric flows have many applications in physics and geometry. The mean curvature flow also has many geometric applications, in analogy with the Ricci flow of metrics on abstract riemannian manifolds.