LEADER 01415nam2-2200409---450-
001 990003114200203316
005 20080926112019.0
010   $a978-3-540-79123-2
035   $a000311420
035   $aUSA01000311420
035   $a(ALEPH)000311420USA01
035   $a000311420
100   $a20080604d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aTests and proofs$esecond international conference, TAP 2008$ePrato, Italy, April 9-11, 2008$eproceedings$fBernhard Beckert, Reiner Hahnle (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aX, 191 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4966
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aIngegneria del software$xCongressi$yPrato$z2008
606 0 $aElaborazione dati$xCongressi$yPrato$z2008
676   $a005.14
702  1$aBECKERT,$bBernhard
702  1$aHAHNLE,$bReiner
710 02$aInternational conference, TAP 2008$d<2.;$f2008;$ePrato>$0601536
801  0$aITA$bsalbc$gISBD
912   $a990003114200203316
951   $a001 LNCS 4966$b36738/CBS$c001$d00217353
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080604$lUSA01$h1014
979   $aANGELA$b90$c20080926$lUSA01$h1120
996   $aTests and proofs$91020347
997   $aUNISA

LEADER 01344nam a2200373 i 4500
001 991001067689707536
005 20020507182620.0
008 930601s1990    us            ||| | eng  
020   $a0817634916
035   $ab10796435-39ule_inst
035   $aLE01306535$9ExL
040   $aDip.to Matematica$beng
082 0 $a519.4
084   $aAMS 65-01
084   $aQA297.R8713
100 1 $aRutishauser, Heinz$058701
245 10$aLectures on numerical mathematics /$cHeinz Rutishauser ; ed. by Martin Gutknecht, with the assistance of Peter Henrici, Peter Lauchli, Hans-Rudolf Schwarz, transl. by Walter Gautschi
250   $aEngl. ed
260   $aBoston :$bBirkhäuser,$c1990
300   $a546 p. ;$c23 cm
500   $aGerman ed. issued in 2 vols.
650  4$aNumerical analysis
700 1 $aGautschi, Walter
700 1 $aGutknecht, Martin
700 1 $aHenrici, Peter
700 1 $aLauchli, Peter
700 1 $aSchwarz, Hans-Rudolf
740 0 $aVorlesungen uber numerische Mathematik
907   $a.b10796435$b02-04-14$c28-06-02
912   $a991001067689707536
945   $aLE013 65-XX RUT11 (1990)$g1$i2013000289250$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10897938$z28-06-02
996   $aLectures on numerical mathematics$9921631
997   $aUNISALENTO
998   $ale013$b01-01-93$cm$da  $e-$feng$gus $h0$i1