LEADER 01229cam0-22004091i-450-
001 990001335010403321
005 20050705135139.0
010   $a0-12-044210-8
035   $a000133501
035   $aFED01000133501
035   $a(Aleph)000133501FED01
035   $a000133501
100   $a20001205d1993----km-y0itay50------ba
101 0 $aeng
102   $aUS
200 1 $aScientific computing with automatic result verification$fedited by E. Adams, U. Kulisch
210   $aSan Diego$cAcademic Press$dc1993
215   $aX, 612 p.$d24 cm
225 1 $aMathematics in science and engineering$v189
610 0 $aAlgoritmi numerici
610 0 $aCalcolo parallelo
610 0 $aLinguaggi di programmazione
610 0 $aEnclosure methods
610 0 $aWorld problems$aSimulazione numerica
610 0 $aComputabilita$aProgrammi
676   $a519.40285
700  1$aKulisch,$bU.$0350581
701  1$aAdams,$bErnst$054191
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001335010403321
952   $aC-26-(189$b10631$fMA1
952   $a124-E-1$b10639$fMA1
959   $aMA1
962   $a65-06
996   $aScientific computing with automatic result verification$9376053
997   $aUNINA