LEADER 01361nam2-2200385---45-- 001 990003132580203316 005 20080926160257.0 010 $a978-3-540-73367-6 035 $a000313258 035 $aUSA01000313258 035 $a(ALEPH)000313258USA01 035 $a000313258 100 $a20080728d2007----km-y0ITAy0103-------ba 101 0 $aeng 102 $aDE 200 1 $aComputer aided verification$e19th International conference, CAV 2007$eBerlin, Germany,july 3-7, 2007$eproceedings$fWerner Damm, Holger Hermanns (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2007 215 $aXV, 562 p.$cill.$d24 cm 225 $aLecture notes in computer science$v4590 410 $12001$aLecture notes in computer science 461 1$1001000314960$12001$aLecture notes in computer science 606 1 $aSistemi operativi$xModelli matematici$xCongressi$yBerlin$z2007 676 $a005.1 702 1$aDAMM,$bWerner 702 1$aHERMANNS,$bHolger 710 12$aInternational conference, CAV 2007$d<19.;$f2007;$eBerlin>$0601863 801 0$aITA$bsalbc$gISBD 912 $a990003132580203316 951 $a001 LNCS 4590$b35172/CBS$c001$d00224621 959 $aBK 969 $aSCI 979 $aCBAS$b10$c20080728$lUSA01$h1011 979 $aANGELA$b90$c20080926$lUSA01$h1602 996 $aComputer aided verification$91016916 997 $aUNISA LEADER 01279nam 2200349Ia 450 001 996394574903316 005 20221108063908.0 035 $a(CKB)3810000000007417 035 $a(EEBO)2240862588 035 $a(OCoLC)18283886 035 $a(EXLCZ)993810000000007417 100 $a19880728d1665 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 10$aQuæstiones in philosophia discutiendæ, sub Carolo Chauncæo$b[electronic resource] $eSS. Theol. Bac., præside Col. Harvard, Cantabrigiæ, Nov-Angl. : in comitiis per inceptores in artibus, die octavo sextilis M. DC. LXV 210 $a[Cambridge, Mass. $cS. Green$d1665] 215 $a1 broadside 300 $aImprint suggested by Wing and NUC pre-1956 imprints. 300 $aReproduction of original in the Harvard University Library. 330 $aeebo-0062 606 $aDissertations, Academic 606 $aUniversities and colleges$zMassachusetts 615 0$aDissertations, Academic. 615 0$aUniversities and colleges 701 $aChauncy$b Charles$f1592-1672.$01002052 801 0$bEAJ 801 1$bEAJ 801 2$bWaOLN 906 $aBOOK 912 $a996394574903316 996 $aQuæstiones in philosophia discutiendæ, sub Carolo Chauncæo$92322940 997 $aUNISA LEADER 01603nam 2200517 a 450 001 9910781640903321 005 20230617000016.0 010 $a0-8143-3651-5 035 $a(CKB)2550000000048121 035 $a(OCoLC)755623810 035 $a(CaPaEBR)ebrary10499912 035 $a(SSID)ssj0000644057 035 $a(PQKBManifestationID)11407407 035 $a(PQKBTitleCode)TC0000644057 035 $a(PQKBWorkID)10675229 035 $a(PQKB)10256475 035 $a(MiAaPQ)EBC3416406 035 $a(MdBmJHUP)muse15897 035 $a(Au-PeEL)EBL3416406 035 $a(CaPaEBR)ebr10499912 035 $a(OCoLC)923510336 035 $a(EXLCZ)992550000000048121 100 $a20040826d2005 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aMonty Python's flying circus$b[electronic resource] /$fMarcia Landy 210 $aDetroit $cWayne State University Press$dc2005 215 $a1 online resource (130 p.) 225 1 $aTV milestones 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8143-3103-3 320 $aIncludes bibliographical references (p. 111-114) and index. 320 $aVideography and filmography: p. 109-110. 410 0$aContemporary approaches to film and television series.$pTV milestones. 676 $a791.45/72 700 $aLandy$b Marcia$f1931-$0780811 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910781640903321 996 $aMonty Python's flying circus$93689635 997 $aUNINA