LEADER 01456nam2 2200313 i 450 
001 VAN00048552
005 20240806100446.199
010   $a978-36-427-9653-1
100   $a20060727d1995       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aˆ1: ‰Basic numerical problems$fR. Hammer, ... [et al.]
210   $aBerlin$cSpringer$d1995
215   $aXV, 377 p.$d25 cm
461  1$1001VAN00048550$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
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$c20240906$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Hammer et al. - Cplus plus toolbox for verified computing I. basic numerical problems.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00048552
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   1817        $e08   5651      I       20060727            
996   $aBasic numerical problems$91405508
997   $aUNICAMPANIA