LEADER 01783nam2 22004333i 450 
001 VAN00294017
005 20250603113728.213
017 70$2N$a9783642796517
100   $a20250603d1995       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
181   $ai$b   e  
182   $ab
183   $acr
200 1 $aˆ1: ‰Basic numerical problems$fR. Hammer ... [et al.]
210   $aBerlin$cSpringer$d1995
215   $axv, 377 p.$cill.$d25 cm
461  1$1001VAN00294015$12001 $aC++ toolbox for verified computing$etheory, algorithms and programs$fR. Hammer ... [et al.]$1210  $aBerlin$cSpringer$1215  $avolumi$d25 cm$v1
606   $a68N15$xTheory of programming languages [MSC 2020]$3VANC025161$2MF
610   $aAlgorithms$9KW:K
610   $aAutomatic results$9KW:K
610   $aC++ and C-XSC$9KW:K
610   $aInterval arithmetic$9KW:K
610   $aSelf-validating numerics$9KW:K
610   $aSimplification of Programming$9KW:K
620   $dBerlin$3VANL000066
702  1$aHammer$bRichard D.$3VANV017563
712   $aSpringer <editore>$3VANV108073$4650
790  1$aHammer, R. D.$zHammer, Richard D.$3VANV062986
790  1$aHammer, R.D.$zHammer, Richard D.$3VANV217974
801   $aIT$bSOL$c20250718$gRICA
856 4 $uhttps://doi.org/10.1007/978-3-642-79651-7$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $fN
912   $aVAN00294017
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD     e-Book                  11790       $e08eMF11790             20250714            
996   $aBasic numerical problems$91405508
997   $aUNICAMPANIA