My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art

Title Numerical toolbox for verified computing : theory, algorithms, and Pascal-XSC programs / R. Hammer ... [and others].

Published Berlin ; New York : Springer-Verlag, c1993-


Location Call No. Status
 UniM ERC  518.2028551 NUME    AVAILABLE
Physical description volumes <1 > : illustrations ; 24 cm.
Series Springer series in computational mathematics ; 21.
Springer series in computational mathematics ; 21.
Bibliography Includes bibliographical references and indexes.
Contents 1. Basic numerical problems.
Other author Hammer, R. (Rolf), 1961-
Subject Numerical analysis.
Error analysis (Mathematics)
ISBN 3540571183 (Berlin : v. 1 : acid-free paper)
0387571183 (New York : v. 1 : acid-free paper)