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) |