LEADER 03416nam 22007575 450 001 996465877403316 005 20230406022709.0 010 $a3-642-27940-6 024 7 $a10.1007/978-3-642-27940-9 035 $a(CKB)3400000000025772 035 $a(SSID)ssj0000611118 035 $a(PQKBManifestationID)11411714 035 $a(PQKBTitleCode)TC0000611118 035 $a(PQKBWorkID)10644368 035 $a(PQKB)11236865 035 $a(DE-He213)978-3-642-27940-9 035 $a(MiAaPQ)EBC3070886 035 $a(PPN)159087228 035 $a(EXLCZ)993400000000025772 100 $a20120119d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerification, Model Checking, and Abstract Interpretation$b[electronic resource] $e13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings /$fedited by Viktor Kuncak, Andrey Rybalchenko 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 457 p. 111 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7148 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-27939-2 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7148 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aAlgorithms 606 $aMachine theory 606 $aComputer programming 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aComputer programming. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 676 $a005.1015113 702 $aKuncak$b Viktor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRybalchenko$b Andrey$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465877403316 996 $aVerification, Model Checking, and Abstract Interpretation$92593983 997 $aUNISA LEADER 01540oam 2200433 450 001 9910708473403321 005 20161202111818.0 035 $a(CKB)3710000000339230 035 $a(OCoLC)682211445$z(OCoLC)654380560$z(OCoLC)654667196$z(OCoLC)662575846 035 $a(EXLCZ)993710000000339230 100 $a20101117d1997 ua 0 101 0 $aeng 135 $aurbn||||a|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aWelfare reform $ehearings before the Subcommittee on Human Resources of the Committee on Ways and Means, House of Representatives, One Hundred Fourth Congress, second session, May 22 and 23, 1996 210 1$aWashington :$cU.S. Government Printing Office :$cFor sale by the Superintendent of Documents, U.S. Government Printing Office, Congressional Sales Office,$d1997. 215 $a1 online resource (iii, 224 pages) $cillustrations 300 $a"Serial 104-62." 320 $aIncludes bibliographical references. 517 $aWelfare reform 606 $aPublic welfare$zUnited States 606 $aWelfare recipients$xEmployment$zUnited States 608 $aLegislative hearings.$2lcgft 615 0$aPublic welfare 615 0$aWelfare recipients$xEmployment 801 0$bOCLCE 801 1$bOCLCE 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bGPO 906 $aBOOK 912 $a9910708473403321 996 $aWelfare reform$93096253 997 $aUNINA LEADER 03173oam 22006614a 450 001 9910633995203321 005 20250107205037.0 010 $a9781501766305 024 7 $a10.1515/9781501766305 035 $a(CKB)25647488800041 035 $a(OCoLC)1341211233 035 $a(MdBmJHUP)musev2_100079 035 $a(DE-B1597)670306 035 $a(DE-B1597)9781501766305 035 $a(MiAaPQ)EBC7153436 035 $a(Au-PeEL)EBL7153436 035 $a(OCoLC)1370496181 035 $a(EXLCZ)9925647488800041 100 $a20220512d2021 uy 0 101 0 $aeng 135 $aur|||||||nn|n 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBeyond the Lines $eSocial Networks and Palestinian Militant Organizations in Wartime Lebanon /$fSarah E. Parkinson 205 $a1st ed. 210 1$aIthaca [New York] :$cCornell University Press,$d[2021] 210 4$dİ[2021] 215 $a1 online resource (270 pages) 311 08$a9781501766299 327 $aIntroduction -- Memories and Mythologies of Militancy -- The Palestine Liberation Organization and the Guerrilla Organizations in Lebanon -- Comparing Violent Repertoires During the 1982 Israeli Invasion -- Beyond the Lines -- Crossing Collaborators -- The Face of the Camps -- "Every Faction for Itself" -- Conclusion : Echoes of Organizations. 330 $a"How do rebel groups cope with repression, displacement, and fragmentation? Based on ethnographic research among Palestinian militants in Lebanon, this book argues that militants approach asymmetrical warfare as a series of information- and logistics-centric challenges and that groups' adaptability relies upon militants' ability to repurpose everyday networks for organizational ends"--$cProvided by publisher. 606 $aPolitics and government$2fast$3(OCoLC)fst01919741 606 $aPalestinian Arabs$xPolitics and government$2fast$3(OCoLC)fst01051620 606 $aPalestinian Arabs$2fast$3(OCoLC)fst01051590 606 $aPalestinian Arabs$zLebanon$xPolitics and government$y20th century 606 $aPalestinian Arabs$zLebanon$xHistory$y20th century 606 $aReligious militants$xSocial networks$zLebanon$xHistory$y20th century 606 $aPalestinian Arabs$xSocial networks$zLebanon$xHistory$y20th century 607 $aLebanon$2fast 607 $aLebanon$xPolitics and government$y1975-1990 607 $aLebanon$xHistory$yCivil War, 1975-1990 608 $aHistory. 615 7$aPolitics and government. 615 7$aPalestinian Arabs$xPolitics and government. 615 7$aPalestinian Arabs. 615 0$aPalestinian Arabs$xPolitics and government 615 0$aPalestinian Arabs$xHistory 615 0$aReligious militants$xSocial networks$xHistory 615 0$aPalestinian Arabs$xSocial networks$xHistory 676 $a305.892/7405692 700 $aParkinson$b Sarah E.$f1981-$01272462 712 02$aJohns Hopkins University / TOME$4fnd$4http://id.loc.gov/vocabulary/relators/fnd 801 0$bMdBmJHUP 801 1$bMdBmJHUP 912 $a9910633995203321 996 $aBeyond the Lines$92997000 997 $aUNINA