LEADER 00995nam a22002531i 4500 001 991001790379707536 005 20031216113745.0 008 040407s1912 it a||||||||||||||||ita 035 $ab12823879-39ule_inst 035 $aARCHE-080349$9ExL 040 $aDip.to Scienze Storiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a914.5710 100 1 $aAgostinoni, Emidio$0179321 245 10$aAltipiani d'Abruzzo /$cEmidio Agostinone 260 $aBergamo :$bIstituto italiano d'arti grafiche,$c1912 300 $a158 p., [1] c. di tav. :$bill. ;$c27 cm 440 0$aCollezione di monografie illustrate.$nSerie 1,$pItalia artistica 651 4$aAbruzzo$xGuide 907 $a.b12823879$b02-04-14$c16-04-04 912 $a991001790379707536 945 $aLE009 GEOG.14.431-11$g1$i2009000175013$lle009$o-$pE0.00$q-$rn$so $t0$u1$v0$w1$x0$y.i13374850$z16-04-04 996 $aAltipiani d'Abruzzo$9299520 997 $aUNISALENTO 998 $ale009$b16-04-04$cm$da $e-$fita$git $h0$i1 LEADER 01501nam 2200385 450 001 9910332545903321 005 20230721041406.0 010 $a1-5090-6978-X 035 $a(CKB)4100000008867320 035 $a(WaSeSS)IndRDA00119662 035 $a(EXLCZ)994100000008867320 100 $a20200305d2009 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFMCAD 2009 $eproceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA /$ftechnically sponsored by, IEEE Council on Electronic Design Automation ; in cooperation with ACM SIGDA 210 1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2009. 215 $a1 online resource (115 pages) 311 $a1-4244-4965-0 320 $aIncludes bibliographical references and index. 606 $aIntegrated circuits$xVerification$vCongresses 606 $aDigital integrated circuits$xComputer-aided design$vCongresses 615 0$aIntegrated circuits$xVerification 615 0$aDigital integrated circuits$xComputer-aided design 676 $a621 712 02$aIEEE Council on Electronic Design Automation, 712 02$aACM Special Interest Group on Design Automation, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910332545903321 996 $aFMCAD 2009$92520506 997 $aUNINA