Treffer: Scientific computing with automatic result verification

Titel:

Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch

Beteiligt:

Veröffentlicht:

Boston : Academic Press, 1993

Vertrieb:

Amsterdam : Science Direct

Umfang:

1 Online-Ressource (x, 612 pages)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Mathematics in science and engineering ; v. 189

Vorliegende Ausgabe:

2010

ISBN:

9780120442102 ; 0120442108 ; 9780080958750 ; 0080958753 ; 9780120442102 (Sekundärausgabe)

Zusatz-Informationen