Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Scientific computation with automatic result verification

Titel:

Beteiligt:

Veröffentlicht:

Wien [u.a.] : Springer, 1988

Umfang:

VIII, 244 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Computing, Supplementum ; 6
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

3211820639 ; 0387820639

Zusatz-Informationen