Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Kulisch, U. Visualizza persona
Titolo: Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch Visualizza cluster
Pubblicazione: San Diego : Academic Press, c1993
Descrizione fisica: X, 612 p. ; 24 cm
Disciplina: 519.40285
Soggetto non controllato: Algoritmi numerici
Calcolo parallelo
Linguaggi di programmazione
Enclosure methods
World problems - Simulazione numerica
Computabilita - Programmi
Altri autori: Adams, Ernst  
Titolo autorizzato: Scientific computing with automatic result verification  Visualizza cluster
ISBN: 0-12-044210-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990001335010403321
Lo trovi qui: Univ. Federico II
Collocazione: C-26-(189
124-E-1
Opac: Controlla la disponibilità qui