Author books / Книги автора Prof. Dr. Ulrich Kulisch Dr. Rolf Hammer Dr. Matthias Hocks Dr. Dietmar Ratz (auth.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Prof. Dr. Ulrich Kulisch Dr. Rolf Hammer Dr. Matthias Hocks Dr. Dietmar Ratz (auth.) » Page 2

book C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

pdf

Author: Prof. Dr. Ulrich Kulisch Dr. Rolf Hammer Dr. Matthias Hocks Dr. Dietmar Ratz (auth.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Perspectives on Enclosure Methods

Perspectives on Enclosure Methods

pdf

Author: Andreas Frommer (auth.) Prof. Dr. Ulrich Kulisch Priv.-Doz. Dr. Rudolf Lohner Dr. Axel Facius (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0