NUMERICAL toolbox for verified computing I: basic numerical problems tfeory, algorithms, and pascal-XSC programs / (Record no. 29403)

000 -LEADER
fixed length control field 00627nam a2200181Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220111145045.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180712s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540571183
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510
Author Mark NUM
DDC Edition number 23
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hammer, R.
245 ## - TITLE STATEMENT
Title NUMERICAL toolbox for verified computing I: basic numerical problems tfeory, algorithms, and pascal-XSC programs /
Statement of responsibility, etc. R.Hammer... [et al.]
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Springer-Verlag berlin heidelberg
Date of publication, distribution, etc. 1993
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 337 p.-
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Springer series in computational mathematics: 21
500 ## - GENERAL NOTE
General note Includes bibliogrephy & index.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematics
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books in Reference (R)
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Price Full call number Accession Number Date last seen item type
        Main Library Main Library Science & Technology 2018-07-13 0.00 510 NUM 135589 2018-07-13 Books in Reference (R)
© University of Jaffna