Scientific computation with automatic result verification
U. Kulisch and H. J. Stetter (eds.)
Bok Engelsk 1988
Utgitt | Wien : Springer , c1988
|
---|---|
Omfang | VIII, 244 s. : ill.
|
Opplysninger | Bidrag fra en kongress holdt 30. september-2. oktober 1987 i Karlsruhe.
|
Emner | |
ISBN | 0387820639. - 3211820639
|