hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Verifikation (Datenverarbeitung)
1 Treffer
Seite < 1 >
Cover

Scientific computation with automatic result verification

/ U. Kulisch and H. J. Stetter (eds.). - Wien : Springer, 1988. - VIII, 244 S. : 22 Ill. u. graph. Darst.; 24 cm - (Computing : suppl. 6)

ISBN 978-3-211-82063-6 / 3-211-82063-9 DM 128.00, S 900.00, DM 115.00, S 810.00 (Vorzugspr. für Abonnenten)

Literaturangaben

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial