LEADER 01459nam--2200385---450 001 990000948630203316 005 20180312154730.0 010 $a3-540-42541-1 035 $a0094863 035 $aUSA010094863 035 $a(ALEPH)000094863USA01 035 $a0094863 100 $a20020206d2001----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aCorrect hardware design and verification methods$e11th IFIP WG 10.5 advanced research working conference, CHARME 2001$eLivingston, Scotland, UK, September 4-7, 2001$eproceedings$fTiziana Margaria ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001 215 $aXII, 482 p.$cill.$d20 cm 225 $aLecture notes in computer science$v2144 410 $12001$aLecture notes in computer science$v2144 610 1 $aHardware$aArchitettura$aCongressi$a2001 610 1 $aHardware$aVerifica$aCongressi$a2001 676 $a62.139 702 1$aMargaria,$bTiziana 710 12$aIFIP WG 10.5 advanced research working conferenc CHARME <1. ; 2001 ; Livingston, Scotland, UK>$0552448 801 0$aITA$bCBS$gISBD 912 $a990000948630203316 951 $a001 LNCS (2144)$b0027199 CBS$c001$d00110933 959 $aBK 969 $aSCI 979 $aALANDI$b90$c20020206$lUSA01$h1211 979 $c20020403$lUSA01$h1737 979 $aPATRY$b90$c20040406$lUSA01$h1705 996 $aCorrect hardware design and verification methods$9973993 997 $aUNISA LEADER 02570nam 2200697Ia 450 001 9910782188703321 005 20230912131728.0 010 $a1-282-86349-5 010 $a9786612863493 010 $a0-7735-7284-8 024 7 $a10.1515/9780773572843 035 $a(CKB)1000000000522687 035 $a(OCoLC)244766214 035 $a(CaPaEBR)ebrary10176055 035 $a(SSID)ssj0000280977 035 $a(PQKBManifestationID)11207451 035 $a(PQKBTitleCode)TC0000280977 035 $a(PQKBWorkID)10300480 035 $a(PQKB)10069504 035 $a(CaPaEBR)407584 035 $a(CaBNvSL)slc00209632 035 $a(Au-PeEL)EBL3331663 035 $a(CaPaEBR)ebr10178312 035 $a(CaONFJC)MIL286349 035 $a(OCoLC)923230214 035 $a(DE-B1597)656209 035 $a(DE-B1597)9780773572843 035 $a(VaAlCD)20.500.12592/d8jfsc 035 $a(schport)gibson_crkn/2009-12-01/4/407584 035 $a(MiAaPQ)EBC3331663 035 $a(MiAaPQ)EBC3248732 035 $a(EXLCZ)991000000000522687 100 $a20030908g20059999 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHalf the globe's our home ; America's century$b[electronic resource] /$fDon Akenson 210 $aMontr?eal $cMcGill-Queen's University Press$dc2005 215 $a1 online resource (709 p.) 225 0 $aAn Irish history of civilization ;$v2 300 $aIncludes index. 311 $a0-7735-3549-7 311 $a0-7735-2891-1 327 $abk. 3. Half the globe's our home -- bk. 4. America's century. 330 $aIn a sprawling chronicle of civilization through Irish eyes, Akenson takes us from St Patrick to Woodie Guthrie, from Constantine to John F. Kennedy, from India to the Australian outback. In two volumes of masterful storytelling he creates ironic, playful, and acerbic historical miniatures - a quixotic series of reconstructions woven into a helix in which the same historical figures reappear in radically different contexts as their narratives intersect with the larger picture. 517 3 $aAmerica's century 606 $aIrish$xHistory 607 $aIreland$xEmigration and immigration 607 $aIreland$xHistory 615 0$aIrish$xHistory. 676 $a941.5 700 $aAkenson$b Donald H$0482657 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782188703321 996 $aHalf the globe's our home ; America's century$93761030 997 $aUNINA LEADER 00975nam0-22003131i-450 001 990005525070403321 005 20240412125500.0 035 $a000552507 035 $aFED01000552507 035 $a(Aleph)000552507FED01 035 $a000552507 100 $a19990604d1977----km-y0itay50------ba 101 0 $afre 105 $aa---a---001yy 200 1 $a<>Méditerranée$fsous la direction de Fernand Braudel 210 $aParis$cArts et Métiers Graphiques$dc1977 215 $a225 p.$cill.$d39 cm 327 1 $a1.: L'espace et l'histoire$a2.: Les hommes et l'héritage 610 0 $aPaesi mediterranei$aCiviltà 676 $a909.09822$v21$zita 702 1$aBraudel,$bFernand$f<1902-1985> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005525070403321 952 $a909.098 BRA 1 (1)$bST.MED.MOD. 8781$fFLFBC 952 $a909.098 BRA 1 (2)$bST.MED.MOD. 9422$fFLFBC 959 $aFLFBC 996 $aMediterranee$9168068 997 $aUNINA