Research Catalog
Numerical toolbox for verified computing : theory, algorithms, and Pascal-XSC programs
- Title
- Numerical toolbox for verified computing : theory, algorithms, and Pascal-XSC programs / R. Hammer ... [et al.].
- Publication
- Berlin ; New York : Springer-Verlag, c1993-
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 1 | Book/Text | Request in advance | JSL 94-69 v. 1 | Offsite |
Details
- Additional Authors
- Hammer, R. (Rolf), 1961-
- Description
- v. : ill.; 24 cm.
- Series Statement
- Springer series in computational mathematics ; 21
- Subject
- Bibliography (note)
- Includes bibliographical references and indexes.
- Contents
- 1. Basic numerical problems.
- Call Number
- JSL 94-69
- ISBN
- 3540571183 (Berlin : v. 1 : acid-free paper)
- 0387571183 (New York : v. 1 : acid-free paper)
- LCCN
- 93039210
- OCLC
- 29224962
- NYPG94-B21151
- Title
- Numerical toolbox for verified computing : theory, algorithms, and Pascal-XSC programs / R. Hammer ... [et al.].
- Imprint
- Berlin ; New York : Springer-Verlag, c1993-
- Series
- Springer series in computational mathematics ; 21
- Bibliography
- Includes bibliographical references and indexes.
- Added Author
- Hammer, R. (Rolf), 1961-
- Research Call Number
- JSL 94-69 Library has: Vol. 1.