LEADER 02855nam 22006734a 450 001 9910449718703321 005 20210427003547.0 010 $a0-8147-4324-2 010 $a0-8147-4380-3 010 $a1-4294-1424-3 035 $a(CKB)1000000000245281 035 $a(EBL)865578 035 $a(OCoLC)779828132 035 $a(SSID)ssj0000141126 035 $a(PQKBManifestationID)11911808 035 $a(PQKBTitleCode)TC0000141126 035 $a(PQKBWorkID)10056044 035 $a(PQKB)10981468 035 $a(MiAaPQ)EBC865578 035 $a(OCoLC)76834557 035 $a(MdBmJHUP)muse10717 035 $a(Au-PeEL)EBL865578 035 $a(CaPaEBR)ebr10137182 035 $a(EXLCZ)991000000000245281 100 $a20040831d2005 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDownsizing prisons$b[electronic resource] $ehow to reduce crime and end mass incarceration /$fMichael Jacobson 210 $aNew York and London $cNew York University Press$dc2005 215 $a1 online resource (304 p.) 300 $aDescription based upon print version of record. 311 $a0-8147-4291-2 311 $a0-8147-4274-2 320 $aIncludes bibliographical references and index. 327 $aIntroduction : bloated prisons -- Mass incarceration -- Unintended consequences -- A new reality for prison systems -- Why prison growth does not reduce crime -- Why parole and probation policies need to change -- Success stories -- Downsizing prisons. 330 $aOver two million people are incarcerated in America's prisons and jails, eight times as many since 1975. Mandatory minimum sentencing, parole agencies intent on sending people back to prison, three-strike laws, for-profit prisons, and other changes in the legal system have contributed to this spectacular rise of the general prison population. After overseeing the largest city jail system in the country, Michael Jacobson knows first-hand the inner workings of the corrections system. In Downsizing Prisons , he convincingly argues that mass incarceration will not, as many have claimed, reduce cri 606 $aPrisons$zUnited States 606 $aProbation$zUnited States 606 $aParole$zUnited States 606 $aAlternatives to imprisonment$zUnited States 606 $aCriminals$xRehabilitation$zUnited States 608 $aElectronic books. 615 0$aPrisons 615 0$aProbation 615 0$aParole 615 0$aAlternatives to imprisonment 615 0$aCriminals$xRehabilitation 676 $a364.6/0973 700 $aJacobson$b Michael$f1953-$01039789 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910449718703321 996 $aDownsizing prisons$92462187 997 $aUNINA LEADER 01050nam a2200253 i 4500 001 991003997569707536 008 211013s1927 it ||| | ita d 035 $ab14421045-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 0 $a516.35 084 $aAMS 14-XX 100 1 $aSeveri, Francesco$01834 245 10$aConferenze di geometria algebrica :$banno 1927-1928 /$cFrancesco Severi ; raccolte da Beniamino Segre 260 $aRoma :$bStab. Tipo-litografico Genio Civile,$c1927 300 $aiv, 392 p. ;$c23 cm 500 $aIn testa al front. : Regia Universitŕ di Roma 650 4$aAlgebraic geometry$xCongresses 700 $aSegre, Beniamino 907 $a.b14421045$b13-10-21$c13-10-21 912 $a991003997569707536 945 $aLE013 14-XX SEV11 (1927)$g1$i2013000297217$lle013$nDonazione Martinelli$og$pE9.00$q-$rn$so $t1$u0$v0$w0$x0$y.i15980790$z13-10-21 996 $aConferenze di geometria algebrica$9382207 997 $aUNISALENTO 998 $ale013$b13-10-21$cm$da $e-$fita$git $h0$i0 LEADER 03342nam 22006855 450 001 9910847586203321 005 20251116204912.0 010 $a3-031-57249-1 024 7 $a10.1007/978-3-031-57249-4 035 $a(CKB)31435563400041 035 $a(MiAaPQ)EBC31281878 035 $a(Au-PeEL)EBL31281878 035 $a(DE-He213)978-3-031-57249-4 035 $a(OCoLC)1429286857 035 $a(EXLCZ)9931435563400041 100 $a20240404d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part II /$fedited by Bernd Finkbeiner, Laura Kovács 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (399 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14571 311 08$a3-031-57248-3 327 $aModel Checking -- automata and learning -- software verification -- probabilistic systems -- simulations. 330 $aThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14571 606 $aComputer science 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer simulation 606 $aSoftware engineering 606 $aTheory of Computation 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aComputer Modelling 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer simulation. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aComputer Modelling. 615 24$aSoftware Engineering. 676 $a40,151 700 $aFinkbeiner$b Bernd$01736354 701 $aKova?cs$b Laura$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910847586203321 996 $aTools and Algorithms for the Construction and Analysis of Systems$94156203 997 $aUNINA