Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Scientific computing with automatic result verification
پدید آورنده
/ edited by E. Adams, U. Kulisch
موضوع
Electronic data processing,Computer science -- Mathematics
رده
QA
76
.
S36
1993
کتابخانه
Library of College of Science University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
61112616
-
66495290
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0120442108
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
2215
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Scientific computing with automatic result verification
General Material Designation
[Book]
First Statement of Responsibility
/ edited by E. Adams, U. Kulisch
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
: Academic Press
Date of Publication, Distribution, etc.
, 1993.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 612 p.
Dimensions
; 24 cm
SERIES
Series Title
(Mathematics in science and engineering
Volume Designation
; v. 189)
GENERAL NOTES
Text of Note
Language: English
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Electronic data processing
Computer science -- Mathematics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
Book number
.
S36
1993
PERSONAL NAME - SECONDARY RESPONSIBILITY
Adams, Ernst, ed
Kulisch, Ulrich, ed
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. College of Science Library
LOCATION AND CALL NUMBER
Call Number
QA 76 .S36 1993
old catalog
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal