000			00632pam a2200217 a 4500
005			20170424153503.0
008			880901s1988 au a b 100 0 eng
020			_a0387820639 (U.S.)
040			_cIITK
041			_aeng
082	0	0	_a519.4 _bSc27
245	0	0	_aScientific computation with automatic result verification _cedited by U. Kulisch and H.J. Stetter
260			_aNew York _bSpringer-Verlag _c1988
300			_aviii, 244p
490	1		_aComputing. Supplementum
650		0	_aNumerical calculations
650		0	_aAlgorithms
700	1		_aKulisch, Ulrich [ed.]
700	1		_aStetter, Hans J. [ed.]
942			_cBK
999			_c556869 _d556869