Vai al contenuto principale della pagina

Numerical Toolbox for Verified Computing / R. Hammer ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Numerical Toolbox for Verified Computing / R. Hammer ... [et al.] Visualizza cluster
Pubblicazione: Berlin [etc.], : Springer-Verlag
Descrizione fisica: volumi : ill. ; 24 cm
Persona (resp. second.): Hammer, Rolf
Titolo autorizzato: Numerical Toolbox for Verified Computing  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00290603
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Comprende: 1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs