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

PRINTED BOOKS

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

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

Copies

Location Call No. Status
 UniM ERC  518.2028551 NUME    AVAILABLE
Physical description v. <1 > : ill. ; 24 cm.
Series 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)