LEADER 01063nam0-22003491i-450-
001 990001330420403321
010   $a3-540-57118-3
035   $a000133042
035   $aFED01000133042
035   $a(Aleph)000133042FED01
035   $a000133042
100   $a20000920d1993----km-y0itay50------ba
101 0 $aeng
200 1 $aNUMERICAL toolbox for verified computing I$eBasic numerical problems theory, algorithms, and Pascal-XSC programs$fR. Hammer ...[e altri].
210   $aBerlin$cSpringer-Verlag$dc1993.
215   $axiv, 337 p.$cill.$d24 cm
225 1 $aSpringer series in computational mathematics$v21
610 0 $aAlgebra lineare numerica
610 0 $aAnalisi dell' errore
610 0 $aSistemi di computers
676   $a519.4
702  1$aHammer,$bRolf
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001330420403321
952   $aC-54-(21$b11824$fMA1
959   $aMA1
962   $a65FXX
962   $a65G10
996   $aNUMERICAL toolbox for verified computing I$9376459
997   $aUNINA
DB    $aING01