LEADER 01083nam0 22002771i 450 001 SUN0024809 005 20070108120000.0 010 $a88-203-1805-9 100 $a20040928d1990 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aCorso di disegno tecnico$edisegno geometrico, proiezioni, normativa, introduzione al CAD$fMarco Spellini, Alessandro Zambonini 210 $aMilano$cHoepli$d1990 215 $a660 p.$ctav. : ill.$d29 cm. 620 $dMilano$3SUNL000284 676 $a744$v21 700 1$aSpellini$b, Marco$3SUNV020857$0728614 701 1$aZambonini$b, Alessandro$3SUNV020858$0728613 712 $aHoepli$3SUNV000715$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0024809 950 $aUFFICIO DI BIBLIOTECA DEI DIPARTIMENTI DI INGEGNERIA$d05 CONS F I 020 $e05 879 995 $aUFFICIO DI BIBLIOTECA DEI DIPARTIMENTI DI INGEGNERIA$bIT-CE0100$h879$kCONS F I 020$oc$qa 996 $aCorso di disegno tecnico$91432023 997 $aUNICAMPANIA LEADER 03001oam 2200745 a 450 001 9910956444803321 005 20101202093805.0 010 $a9798216009221 010 $a9786613053350 010 $a9781283053358 010 $a1283053357 010 $a9780313392948 010 $a0313392943 024 7 $a10.5040/9798216009221 035 $a(CKB)2670000000081587 035 $a(EBL)763059 035 $a(OCoLC)713182185 035 $a(SSID)ssj0000488971 035 $a(PQKBManifestationID)12186177 035 $a(PQKBTitleCode)TC0000488971 035 $a(PQKBWorkID)10457729 035 $a(PQKB)10939591 035 $a(Au-PeEL)EBL763059 035 $a(CaPaEBR)ebr10497495 035 $a(CaONFJC)MIL305335 035 $a(OCoLC)661185760 035 $a(DLC)ABC0313392943 035 $a(MiAaPQ)EBC763059 035 $a(DLC)BP0313392935BC 035 $a(DLC)BP9798216009221BC 035 $a(Perlego)4171811 035 $a(EXLCZ)992670000000081587 100 $a20100902e20112023 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe rise of the federal colossus $ethe growth of federal power from Lincoln to F.D.R. /$fPeter Zavodnyik 205 $a1st ed. 210 1$aSanta Barbara, Calif. :$cPraeger,$dc2011. 210 2$aNew York :$cBloomsbury Publishing (US),$d2023. 215 $a1 online resource (566 p.) 225 0 $aPraeger series on American political culture 300 $aDescription based upon print version of record. 311 08$a9780313392931 311 08$a0313392935 320 $aIncludes bibliographical references and index. 327 $aCover; Contents; Series Foreword; Introduction; Chapter 1 Federalism and War, 1861-1865; Chapter 2 The Constitution Obscured, 1865-1877; Chapter 3 Federalism in the Gilded Age, 1877-1901; Chapter 4 The Progressive Era and American Federalism, 1901-1921; Chapter 5 Places at the Trough, 1921-1933; Notes; Select Bibliography; Index 330 $aFederal officials contemplated providing jobs to the unemployed as early as the 1870s, while the origins of federal regulation of interstate railroads go back to the Civil War. How and when did the federal government expand the scope of the powers granted to it by the Constitution and evolve into an entity that plays such an enormous role in the lives of ordinary Americans? 410 0$aPraeger series on American political culture. 606 $aConstitutional history$zUnited States 606 $aFederal government$zUnited States$xHistory 607 $aUnited States$xPolitics and government$y1865-1933 615 0$aConstitutional history 615 0$aFederal government$xHistory. 676 $a320.473/04909034 700 $aZavodnyik$b Peter$f1969-$01795243 801 0$bDLC 801 1$bDLC 801 2$bDLC 906 $aBOOK 912 $a9910956444803321 996 $aThe rise of the federal colossus$94336372 997 $aUNINA LEADER 03334nam 22006615 450 001 996655267203316 005 20250430130233.0 010 $a3-031-90660-8 024 7 $a10.1007/978-3-031-90660-2 035 $a(CKB)38672342300041 035 $a(DE-He213)978-3-031-90660-2 035 $a(MiAaPQ)EBC32077043 035 $a(Au-PeEL)EBL32077043 035 $a(EXLCZ)9938672342300041 100 $a20250430d2025 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 $e31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3?8, 2025, Proceedings, Part III /$fedited by Arie Gurfinkel, Marijn Heule 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XXI, 269 p. 132 illus., 105 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15698 311 08$a3-031-90659-4 330 $aThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15698 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 $a004.0151 702 $aGurfinkel$b Arie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHeule$b Marijn$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996655267203316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA