Vai al contenuto principale della pagina

C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.] Visualizza cluster
Pubblicazione: Berlin, : Springer
Descrizione fisica: volumi ; 25 cm
Persona (resp. second.): Hammer, Richard D.
Titolo autorizzato: C++ toolbox for verified computing  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00048550
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Comprende: 1: Basic numerical problems