|
1 |
Wissenschaftliches Rechnen mit Ergebnisverifikation Berlin/Boston : De Gruyter, 2022, Reprint 2021
|
|
|
2 |
Computer arithmetic and validity Kulisch, Ulrich. - Berlin : De Gruyter, 2013, 2. ed.
|
|
|
3 |
Computer Arithmetic and Validity Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2012
|
|
|
4 |
Computer arithmetic and validity Kulisch, Ulrich. - Berlin : de Gruyter, 2008
|
|
|
5 |
Computer Arithmetic and Validity Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2008
|
|
|
6 |
Über die Rückführung überbestimmter Systeme von partiellen Differentialgleichungen auf gewöhnliche Differentialgleichungen und deren Behandlung mit einem elektronischen Analogrechner † Enthalten in ZAMM Bd. 44, 2006, Nr. 3: 89-106. 18 S.
|
|
|
7 |
Wissenschaftliches Rechnen mit Ergebnisverifikation Berlin : Akad.-Verl., 1989
|
|
|
8 |
Wissenschaftliches Rechnen mit Ergebnisverifikation Braunschweig : Vieweg, 1989
|
|
|
9 |
Scientific computation with automatic result verification Wien : Springer, 1988
|
|
|
10 |
Scientific Computation with Automatic Result Verification Vienna : Springer Vienna, 1988
|
|