Scientific computing with automatic result verification /

Scientific computing with automatic result verification /

Show other versions (1)

Bibliographic Details
Other Authors:	Adams, Ernst, Kulisch, Ulrich
Format:	Book
Language:	English
Published:	Boston : Academic Press, [1993], ©1993 Boston : c1993 Boston : ©1993
Series:	Mathematics in science and engineering ; v. 189 Mathematics in science and engineering v. 189 Mathematics in science and engineering ; v. 189 Mathematics in science and engineering v. 189
Subjects:	Algorithms Computer science > Mathematics Electronic data processing Numerical analysis > Computer programs Numerical calculations > Verification

Internet

Stanford University

Holdings details from Stanford University
Call Number:	ISIL:US-CST QA297 .S384 1993

University of Chicago

Holdings details from University of Chicago
Call Number:	QA297.S384 1993

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.S368 1993

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	TJ 7 .M27 v.189

Harvard University

Holdings details from Harvard University
Call Number:	QA297 .S387 1993

Duke University

Holdings details from Duke University
Call Number:	004.0151 S416, 1993 QA297 .S384 1993

Dartmouth College

Holdings details from Dartmouth College
Call Number:	QA297 .S336 1993

Cornell University

Holdings details from Cornell University
Call Number:	QA76 .S368x 1993

Princeton University

Holdings details from Princeton University
Call Number:	QA297 .S336 1993

Columbia University

Holdings details from Columbia University
Call Number:	QA297 .S384 1993g