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

Bibliotek som har denne