LEADER 01079nam0-22003491i-450 001 990005873250403321 005 20170308144434.0 010 $a2-7283-0532-3 035 $a000587325 035 $aFED01000587325 035 $a(Aleph)000587325FED01 035 $a000587325 100 $a20000421d1998----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>pergamene di S. Cristina di Sepino$e(1143-1463)$fErrico Cuozzo, Jean-Marie Martin 210 $aRome$d1998$cEcole française de Rome 215 $aXI, 416 p.$d24 cm 225 1 $aSources et documents d'histoire du moyen âge$v1 610 0 $aManoscritti - S. Cristina di Sepino - 1143-1463 676 $a091.0945$v21$zita 700 1$aCuozzo,$bErrico$010237 702 1$aMartin,$bJean-Marie 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005873250403321 952 $aXIV O 281$b32110$fFSPBC 952 $a091.094 CUO 1$bBibl.28193$fFLFBC 959 $aFLFBC 959 $aFSPBC 996 $aPergamene di S. Cristina di Sepino$9564005 997 $aUNINA LEADER 02274nam 2200685Ia 450 001 9910457660003321 005 20200520144314.0 010 $a1-283-22385-6 010 $a9786613223852 010 $a0-252-09098-5 035 $a(CKB)2550000000089225 035 $a(OCoLC)785781174 035 $a(CaPaEBR)ebrary10532328 035 $a(SSID)ssj0000543429 035 $a(PQKBManifestationID)11365413 035 $a(PQKBTitleCode)TC0000543429 035 $a(PQKBWorkID)10532045 035 $a(PQKB)11260046 035 $a(MiAaPQ)EBC3413856 035 $a(MdBmJHUP)muse23801 035 $a(Au-PeEL)EBL3413856 035 $a(CaPaEBR)ebr10532328 035 $a(CaONFJC)MIL322385 035 $a(OCoLC)923493066 035 $a(EXLCZ)992550000000089225 100 $a20070727d2008 ub 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDark Victorians$b[electronic resource] /$fVanessa D. Dickerson 210 $aUrbana $cUniversity of Illinois Press$dc2008 215 $a1 online resource (177 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-252-03256-X 320 $aIncludes bibliographical references (p. [143]-153) and index. 606 $aAfrican Americans$xRelations with British$xHistory 606 $aAfrican Americans$zGreat Britain$xHistory$y19th century 606 $aAfrican Americans$xIntellectual life$y19th century 606 $aAfrican Americans$xAttitudes$xHistory$y19th century 606 $aBritish$xAttitudes$xHistory$y19th century 606 $aTransnationalism 607 $aGreat Britain$xIntellectual life$y19th century 608 $aElectronic books. 615 0$aAfrican Americans$xRelations with British$xHistory. 615 0$aAfrican Americans$xHistory 615 0$aAfrican Americans$xIntellectual life 615 0$aAfrican Americans$xAttitudes$xHistory 615 0$aBritish$xAttitudes$xHistory 615 0$aTransnationalism. 676 $a305.800941 700 $aDickerson$b Vanessa D.$f1955-$0553110 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910457660003321 996 $aDark Victorians$92077752 997 $aUNINA LEADER 03461nam 22006855 450 001 996465872503316 005 20230220232547.0 010 $a3-540-73370-1 024 7 $a10.1007/978-3-540-73370-6 035 $a(CKB)1000000000490800 035 $a(SSID)ssj0000318968 035 $a(PQKBManifestationID)11224891 035 $a(PQKBTitleCode)TC0000318968 035 $a(PQKBWorkID)10336587 035 $a(PQKB)10554965 035 $a(DE-He213)978-3-540-73370-6 035 $a(MiAaPQ)EBC3061725 035 $a(MiAaPQ)EBC6698664 035 $a(Au-PeEL)EBL6698664 035 $a(PPN)12316334X 035 $a(EXLCZ)991000000000490800 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Checking Software$b[electronic resource] $e14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /$fedited by Dragan Bosnacki, Stefan Edelkamp 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 285 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4595 300 $a"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref. 311 $a3-540-73369-8 320 $aIncludes bibliographical references and index. 327 $aStackSnuffer: Curing Orion?s Unsoundness -- Tutorial: Parallel Model Checking -- Local Abstraction-Refinement for the mu-Calculus -- Minimal Counterexample Generation for SPIN -- Generating Counter-Examples Through Randomized Guided Search -- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software -- Some Solutions to the Ignoring Problem -- Cartesian Partial-Order Reduction -- On-the-Fly Dynamic Dead Variable Analysis -- SAT-Based Summarization for Boolean Programs -- LTL Satisfiability Checking -- An Embeddable Virtual Machine for State Space Generation -- Scalable Multi-core LTL Model-Checking -- A SystemC/TLM Semantics in Promela and Its Possible Applications -- Towards Model Checking Spatial Properties with SPIN -- Model Extraction for ARINC 653 Based Avionics Software -- BEEM: Benchmarks for Explicit Model Checkers -- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs -- ACSAR: Software Model Checking with Transfinite Refinement -- Instrumenting C Programs with Nested Word Monitors. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4595 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1/4 702 $aBos?nac?ki$b Dragan$f1963- 702 $aEdelkamp$b Stefan 712 12$aCAV (Conference)$d(19th :$f2007 :$eBerlin, Germany) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465872503316 996 $aModel Checking Software$9771961 997 $aUNISA LEADER 02016oam 2200361z- 450 001 9910136112503321 005 20230913112557.0 010 $a9780864927415 010 $a086492741X 035 $a(CKB)3710000000914933 035 $a(BIP)056957756 035 $a(BIP)053242717 035 $a(Perlego)962535 035 $a(EXLCZ)993710000000914933 100 $a20190509d2016 uy | 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aThe Angel's Jig 210 $cGoose Lane Editions 215 $a1 online resource (286 p.) 311 08$a9780864928672 311 08$a086492867X 330 8 $aLong-shortlisted, 2017 ReLit AwardsFacing the dwindling years of his life, an old man waits for his turn on the auction block, hoping to be sold to a family as decent as the one he is leaving. It is not the first time he has been here, and it may not be the last. Mute in life but loquacious on the page, the old man tells the colourful story of his rootless life. Abandoned by his family and first auctioned off at the age of seven -- "Ladies and gentlemen, this boy may not be a rare gem, but he is certainly worth a look" -- he moves from one farm to another, taking comfort from the people around him. Daniel Poliquin's picaresque novel revisits an all-but-forgotten era, when orphaned children and the elderly poor were auctioned into a form of indentured servitude. Narrated through the eyes and ears of an unforgettable protagonist, The Angel's Jig is a joyous meditation on identity and the unpredictable voyage of existence. A French language finalist for the 2015 Trillium Book Award, Le Vol de l'ange now appears in this lyrical translation by award-winning translator Wayne Grady. 610 $aAmerican literature 676 $a843/.54 700 $aPoliquin$b Daniel$01437256 702 $aGrady$b Wayne$f1948-$4trl 906 $aBOOK 912 $a9910136112503321 996 $aThe Angel's Jig$93597864 997 $aUNINA