LEADER 01011nam0-22003731i-450- 001 990001489250403321 005 20060614120125.0 010 $a0-387-95366-3 035 $a000148925 035 $aFED01000148925 035 $a(Aleph)000148925FED01 035 $a000148925 100 $a20020122d2001----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa---a---001yy 200 1 $a<>pratical guide to Splines$fCarl de Boor 205 $aRevised Edition 210 $aNew York$cSpringer$dc2001 215 $axviii, 346 p.$d24 cm 225 1 $aApplied mathematical sciences$v27 610 0 $aTeoria di splines 610 0 $aApprossimazione mediante splines 676 $a511.42$v21 700 1$aDe Boor,$bCarl$f<1937- >$013943 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001489250403321 952 $aC-33-(27-ER$b18812$fMA1 959 $aMA1 962 $a65DXX 962 $a41A15 996 $aPratical guide to Splines$9377962 997 $aUNINA LEADER 01435nam2-2200409li-450 001 990000207310203316 005 20180312154845.0 010 $a3-540-61474-5 035 $a0020731 035 $aUSA010020731 035 $a(ALEPH)000020731USA01 035 $a0020731 100 $a20001109d1996----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aComputer aided verification$e8th International conference, CAV '96$eNew Brunswich, NJ, USA$eJuly31 - August 3, 1996$eproceedings$fRajeev Alur ... [et al] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag copyr 1996 215 $aXII, 469 p$cill$d23 cm 225 2 $aLecture notes in computer science$v1102 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$anew brunswick$a1996 610 1 $asistemi distribuiti$acongressi$a1996 610 1 $asistemi$averifica$acongressi$a1996 676 $a003$9Sistemi 702 1$aAlur,$bRajeev 710 12$aInternational conference CAV'96$d8.$eNew Brunswick$f1996$0754224 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000207310203316 951 $a001 LNCS (1102)$b0019210 959 $aBK 969 $aSCI 979 $c19970122 979 $c20001110$lUSA01$h1714 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aComputer aided verification$91517597 997 $aUNISA