LEADER 01528nam0-2200289 --450 001 9910217758503321 005 20170928150259.0 100 $a20170928d1728----kmuy0itay5050 ba 101 $aita 102 $aIT 105 $a 001yy 200 1 $aOpere del padre Paolo Segneri della Compagnia di Giesu, distribuite in quattro tomi, come nella seguente pagina si dimostra: con un breve ragguaglio della sua vita. Tomo primo [-quarto] 210 $aVenezia$cnella stamperia Baglioni$d1728 215 $a4 v.$d4° 300 $aMarca non censita (aquila bicefala coronata. Iniziali intrecciate al centro) sui front. 327 1 $aTomo 1$a2: Quaresimale del padre Paolo Segneri della Compagnia di Giesu$a3: Il cristiano istruito nella sua legge. Ragionamenti morali di Paolo Segneri della Compagnia di Giesu$a4: L' incredulo senza scusa, opera di Paolo Segneri della Compagnia di Giesu. Dove si dimostra che non puo non conoscere quale sia la vera religione, chi vuol conoscerla 620 $dVenezia 700 1$aSegneri,$bPaolo$f<1624-1694>$039525 712 02$aBaglioni, Paolo$4650 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 0$aAQ 912 $a9910217758503321 921 $aIT\ICCU\SBN\M000000$bMarca non censita$dSui front.$fMARCA 952 0$a90 CCH RARI 166 (1)$fFMEBC 959 0$aFMEBC 996 $aOpere del padre Paolo Segneri della Compagnia di Giesu, distribuite in quattro tomi, come nella seguente pagina si dimostra: con un breve ragguaglio della sua vita. Tomo primo$91470976 997 $aUNINA LEADER 01303nam 2200421 450 001 9910583020603321 005 20181206172742.0 010 $a0-08-101170-9 035 $a(CKB)4100000001041925 035 $a(MiAaPQ)EBC5150685 035 $a(PPN)227987357 035 $a(EXLCZ)994100000001041925 100 $a20171215h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aComputer arithmetic and formal proofs $everifying floating-point algorithms with the Coq system /$fSylvie Boldo, Guillaume Melquiond 210 1$aLondon, England :$cISTE Press :$cElsevier,$d2017. 210 4$dİ2017 215 $a1 online resource (328 pages) $cillustrations 311 $a1-78548-112-6 320 $aIncludes bibliographical references and index. 606 $aComputer arithmetic 606 $aFloating-point arithmetic 615 0$aComputer arithmetic. 615 0$aFloating-point arithmetic. 676 $a004.0151 700 $aBoldo$b Sylvie$0871919 702 $aMelquiond$b Guillaume 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910583020603321 996 $aComputer arithmetic and formal proofs$91946738 997 $aUNINA