Formal Algorithmic Elimination for PDEs, Fachbücher

Formal Algorithmic Elimination For Pdes Daniel Robertz Taschenbuch

Finite Element Adaptation for PDEs, Fachbücher

Nonlinear Diffusion For Noise Elimination, Fachbücher

Superconvergence Of Finite Element Approximations For PDEs, Fachbücher

Attractors for nonlinear and non-autonomous parabolic PDEs, Fachbücher

Geometrical Approximation and Perturbative methods for PDEs in Finance, Fachbücher

Algorithmic and Computer Methods for Three-Manifolds, Fachbücher

Formal Semantics for LIPS, Fachbücher

Input-to-State Stability for PDEs, Fachbücher von Miroslav Krstic, Iasson Karafyllis

Finite volume methods for deterministic and stochastic PDEs, Fachbücher von Yueyuan Gao

Parameter Estimation for PDEs using Stochastic Methods, Fachbücher von Roxana Elena Tanase

A 3D Adaptive Multiresolution Algorithm for Parabolic PDEs, Fachbücher von Olivier Roussel

CERES and Fast Cut-Elimination, Fachbücher von Mikheil Rukhaia

Formal Methods for Performance Evaluation, Fachbücher

Numerical Methods for PDEs, Fachbücher von Luca Formaggia, Alexandre Ern, Daniele Antonio Di Pietro