Scientific computing with automatic result verification
- フォーマット:
- 図書
- 責任表示:
- edited by E. Adams, U. Kulisch
- 言語:
- 英語
- 出版情報:
- Boston ; Tokyo : Academic Press, c1993
- 形態:
- x, 612 p. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- Mathematics in science and engineering : a series of monographs and textbooks ; v. 189 <BA00009880>
- 書誌ID:
- BA18830690
- ISBN:
- 9780120442102 [0120442108]
類似資料:
Academic Press |
Springer Berlin Heidelberg |
NAROSA PUB. HOUSE | |
|
Springer-Verlag Heidelberg |
Springer-Verlag GmbH Berlin Heidelberg | |
Springer-Verlag | |
SPRINGER-VLG |