Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Scientific computation with automatic result verificationUlrich Kulisch; Hans J Stetter 1930-; Universität Karlsruhe Institut für Angewandte Mathematik; GAMM Committee on "Computer Arithmetic and Scientific Computation"Wien New York Springer-Verlag c1988Localização: IF - Instituto de Física (519.406 C748s )(Acessar) |
|
2 |
Material Type: Livro
|
Scientific Computation with Automatic Result VerificationUlrich Stetter, Hans J. Kulisch Hans J StetterSpringer Vienna 1988Acesso online |
|
3 |
Material Type: Livro
|
Validation numerics theory and applications / R. Albrecht, G. Alefeld, H.J. Stetter (eds.)R. F. (Rudolf F.) Albrecht 1925-; G Alefeld 1941-; Hans J Stetter 1930-; Ulrich KulischWien Springer-Verlag New York c1993Localização: ICMC - Inst. Ciên. Mat. Computação (65A20 A341v )(Acessar) |