LEADER 02881nam 2200673 a 450 001 9910478859703321 005 20170816144240.0 010 $a1-322-41366-5 010 $a1-4522-0418-7 010 $a1-4522-2273-8 035 $a(CKB)2550000000108072 035 $a(EBL)996376 035 $a(OCoLC)809771813 035 $a(SSID)ssj0000675548 035 $a(PQKBManifestationID)12292593 035 $a(PQKBTitleCode)TC0000675548 035 $a(PQKBWorkID)10669431 035 $a(PQKB)11374041 035 $a(MiAaPQ)EBC996376 035 $a(OCoLC)808344012 035 $a(StDuBDS)EDZ0000085019 035 $a(EXLCZ)992550000000108072 100 $a20120516d2007 fy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDoing justice, doing gender$b[electronic resource] $ewomen in legal and criminal justice occupations /$fSusan Ehrlich Martin, Nancy C. Jurik 205 $a2nd ed. 210 $aThousand Oaks, Calif. ;$aLondon $cSAGE$dc2007 215 $a1 online resource (297 p.) 225 1 $aWomen in the criminal justice system 300 $aDescription based upon print version of record. 311 $a1-4129-2721-8 311 $a1-4129-2720-X 320 $aIncludes bibliographical references (p. 233-255) and index. 327 $aCover; Contents; List of Tables; Acknowledgments; 1 - Introduction; 2 - Explanations for Gender Inequality in the Workplace; 3 - The Nature of Police Work and Women's Entry Into Law Enforcement; 4 - Women Officers Encountering the Gendered Police Organization; 5 - Women Entering the Legal Profession; 6 - The Organizational Logic of the Gendered Legal World and Women Lawyers' Response; 7 - Women in Corrections; 8 - Gendered Organizational Logic and Women CO Response; 9 - Doing Justice, Doing Gender Today and Tomorrow; References; Index 330 8 $a'Doing Justice, Doing Gender' is a readable but sociologically grounded analysis of women working in traditionally male dominant justice occupations of law, policing and corrections. 410 0$aWomen in the Criminal Justice System 606 $aPolicewomen$zUnited States 606 $aSex discrimination in criminal justice administration$zUnited States 606 $aWomen correctional personnel$zUnited States 606 $aWomen lawyers$zUnited States 608 $aElectronic books. 615 0$aPolicewomen 615 0$aSex discrimination in criminal justice administration 615 0$aWomen correctional personnel 615 0$aWomen lawyers 676 $a331.4133 676 $a364.973082 700 $aMartin$b Susan Ehrlich$01048986 701 $aJurik$b Nancy C$0883745 801 0$bStDuBDS 801 1$bStDuBDS 906 $aBOOK 912 $a9910478859703321 996 $aDoing justice, doing gender$92477660 997 $aUNINA LEADER 03193nam 22006252 450 001 9910789315803321 005 20151005020622.0 010 $a1-107-33359-8 010 $a1-107-33525-6 010 $a1-107-61079-6 010 $a1-107-33691-0 010 $a1-139-56787-X 035 $a(CKB)3460000000128976 035 $a(EBL)1139623 035 $a(OCoLC)847521083 035 $a(SSID)ssj0000890268 035 $a(PQKBManifestationID)11523101 035 $a(PQKBTitleCode)TC0000890268 035 $a(PQKBWorkID)10884056 035 $a(PQKB)11310322 035 $a(UkCbUP)CR9781139567879 035 $a(MiAaPQ)EBC1139623 035 $a(Au-PeEL)EBL1139623 035 $a(CaPaEBR)ebr10752995 035 $a(CaONFJC)MIL515095 035 $a(PPN)261315714 035 $a(EXLCZ)993460000000128976 100 $a20120810d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSystematic program design $efrom clarity to efficiency /$fYanhong Annie Liu, Stony Brook University, State University of New York$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xv, 240 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-03660-7 311 $a1-107-32715-6 320 $aIncludes bibliographical references (p. 213-233) and index. 327 $aMachine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. 330 $aA systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies. 606 $aComputer programming 606 $aSystem design 615 0$aComputer programming. 615 0$aSystem design. 676 $a005.1 686 $aCOM051010$2bisacsh 700 $aLiu$b Yanhong Annie$f1965-$01123805 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910789315803321 996 $aSystematic program design$93747663 997 $aUNINA