Numerical Toolbox for Verified Computing I

フォーマット:

電子ブック

責任表示:

Kulisch ; Hocks, Matthias ; Kulisch, Ulrich ; Ratz, Dietmar

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1993

著者名:

ISBN:

9783642784255 [3642784259]

9783540571186 [3540571183]

9783642784231 [3642784232]

子書誌情報

オンライン

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック C++ Toolbox for Verified Computing I Kulisch, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar Springer Berlin Heidelberg	7 電子ブック Perspectives on Enclosure Methods Kulisch, Ulrich; Lohner, Rudolf; Facius, Axel, Facius, Axel, Lohner, Rudolf Springer Vienna
2 図書 Scientific computing with automatic result verification Adams, Ernst, Kulisch, Ulrich W Academic Press	8 電子ブック Numerical Software with Result Verification René Alt, Alt, René Springer Berlin / Heidelberg
3 電子ブック Numerical and Symbolic Scientific Computing Langer, Ulrich, Paule, Peter Springer Vienna	9 電子ブック Entertainment Computing – ICEC 2004 ICEC 2004, Rauterberg, Matthias Springer Berlin / Heidelberg
4 図書 Computer arithmetic and validity : theory, implementation, and applications Kulisch, Ulrich W Walter De Gruyter	10 電子ブック Computing the Continuous Discretely Beck, Matthias, Robins, Sinai Springer New York
5 図書 Computing skills for biologists : a toolbox Allesina, Stefano, Wilmes, Madlen Princeton University Press	11 電子ブック MILDOS-AREA computational verification : version 4 Biwer, Bruce Matthias U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research
6 電子ブック Advanced Arithmetic for the Digital Computer Kulisch Springer Vienna	12 電子ブック Numerical Methods in Scientific Computing van Kan, Jos TU Delft Open