LEADER 03407nam 22006492 450 001 9910790236003321 005 20151005020622.0 010 $a1-107-23035-7 010 $a1-139-41152-7 010 $a1-280-68514-X 010 $a9786613662088 010 $a1-139-42288-X 010 $a1-139-41986-2 010 $a1-139-05995-5 010 $a1-139-42191-3 010 $a1-139-41782-7 010 $a1-139-42395-9 035 $a(CKB)2670000000204083 035 $a(EBL)907152 035 $a(OCoLC)794663505 035 $a(SSID)ssj0000658049 035 $a(PQKBManifestationID)11384845 035 $a(PQKBTitleCode)TC0000658049 035 $a(PQKBWorkID)10680811 035 $a(PQKB)10725786 035 $a(UkCbUP)CR9781139059954 035 $a(MiAaPQ)EBC907152 035 $a(Au-PeEL)EBL907152 035 $a(CaPaEBR)ebr10568327 035 $a(CaONFJC)MIL366208 035 $a(EXLCZ)992670000000204083 100 $a20141103d2012|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA population history of the United States /$fHerbert S. Klein$b[electronic resource] 205 $aSecond edition. 210 1$aCambridge :$cCambridge University Press,$d2012. 215 $a1 online resource (xiii, 285 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-61362-0 311 $a1-107-01598-7 320 $aIncludes bibliographical references and index. 327 $aMachine generated contents note: Introduction; 1. Paleo-Indians, Europeans, and the settlement of America; 2. Colonization and settlement of North America; 3. The Early Republic to 1860; 4. The creation of an industrial and urban society, 1860-1914; 5. The evolution of a modern population, 1914-1945; 6. Transitions: the baby boom and bust and the new new immigrants, 1945-1970; 7. A modern industrial society, 1970-2010. 330 $aThe first full-scale, one-volume survey of the demographic history of the United States has been fully updated here. From the arrival of humans in the Western Hemisphere to the current century, Klein analyses the basic demographic trends in the growth of the pre-conquest, colonial and national populations. From the origin and distribution of the Native Americans to late 20th century changes in family structure, fertility and mortality, this updated edition incorporates recent research, including data from the 2010 census. In this definitive study, Klein explores regional patterns of fertility and mortality, trends in births, deaths and international and internal migrations, comparing them with contemporary European developments. The profound impact of historic declines in disease and mortality rates on the population structure of the late-20th century is explained, while the more recent urbanisation and rise of suburbia are examined within the context of new massive international migrations on North American society. 607 $aUnited States$xPopulation$xHistory 676 $a304.60973 686 $aHIS036000$2bisacsh 700 $aKlein$b Herbert S.$0173140 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910790236003321 996 $aA population history of the United States$93695237 997 $aUNINA LEADER 08696nam 22007695 450 001 9910767551103321 005 20200701230412.0 010 $a3-540-45022-X 024 7 $a10.1007/3-540-45022-X 035 $a(CKB)1000000000211269 035 $a(SSID)ssj0000321496 035 $a(PQKBManifestationID)11246810 035 $a(PQKBTitleCode)TC0000321496 035 $a(PQKBWorkID)10279534 035 $a(PQKB)11560013 035 $a(DE-He213)978-3-540-45022-1 035 $a(MiAaPQ)EBC3072415 035 $a(PPN)155181440 035 $a(EXLCZ)991000000000211269 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomata, Languages and Programming $e27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /$fedited by Ugo Montanari, Jose D.P. Rolim, Emo Welzl 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XVI, 952 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1853 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67715-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talk -- Game Semantics: Achievements and Prospects -- Clique Is Hard to Approximate within n 1-o(1) -- Approximating the Independence Number and the Chromatic Number in Expected Polynomial Time -- Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming -- A Statically Allocated Parallel Functional Language -- An Optimal Minimum Spanning Tree Algorithm -- Improved Shortest Paths on the Word RAM -- Improved Algorithms for Finding Level Ancestors in Dynamic Trees -- Lax Logical Relations -- Reasoning about Idealized ALGOL Using Regular Languages -- The Measurement Process in Domain Theory -- Invited Talk -- Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution -- Monotone Proofs of the Pigeon Hole Principle -- Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models -- Algebraic Models for Contextual Nets -- Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems -- Measures of Nondeterminism in Finite Automata -- LTL Is Expressively Complete for Mazurkiewicz Traces -- An Automata-Theoretic Completeness Proof for Interval Temporal Logic -- Invited Talk -- Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms? -- Deterministic Algorithms for k-SAT Based on Covering Codes and Local Search -- Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices -- Variable Independence, Quantifier Elimination, and Constraint Representations -- Constraint Satisfaction Problems and Finite Algebras -- An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing -- Resource Augmentation for Online Bounded Space Bin Packing -- Optimal Projective Algorithms for the List Update Problem -- Efficient Verification Algorithms for One-Counter Processes -- On the Complexity of Bisimulation Problems for Basic Parallel Processes -- Decidable First-Order Transition Logics for PA-Processes -- Invited Talk -- Non Interference for the Analysis of Cryptographic Protocols -- Average Bit-Complexity of Euclidean Algorithms -- Planar Maps and Airy Phenomena -- Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System -- Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract) -- Award Talk -- The Genomics Revolution and Its Challenges for Algorithmic Research -- Invited Talk -- Alternating the Temporal Picture for Safety -- Necessary and Sufficient Assumptions for Non-interactive Zero-Knowledge Proofs of Knowledge for All NP Relations -- Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP -- A New Unfolding Approach to LTL Model Checking -- Reasoning about Message Passing in Finite State Environments -- Extended Notions of Security for Multicast Public Key Cryptosystems -- One-Round Secure Computation and Secure Autonomous Mobile Agents -- Round-Optimal and Abuse-Free Optimistic Multi-party Contract Signing -- On the Centralizer of a Finite Set -- On the Power of Tree-Walking Automata -- Determinization of Transducers over Infinite Words -- Invited Talk -- Constraint Programming and Graph Algorithms -- Scalable Secure Storage when Half the System Is Faulty -- Generating Partial and Multiple Transversals of a Hypergraph -- Revisiting the Correspondence between Cut Elimination and Normalisation -- Negation Elimination from Simple Equational Formulae -- Hardness of Set Cover with Intersection 1 -- Strong Inapproximability of the Basic k-Spanner Problem -- Infinite Series-Parallel Posets: Logic and Languages -- On Deciding if Deterministic Rabin Language Is in Büchi Class -- On Message Sequence Graphs and Finitely Generated Regular MSC Languages -- Invited Talk -- Pseudorandomness -- A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols -- Deterministic Radio Broadcasting -- An ?-Complete Equational Specification of Interleaving -- A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors -- Tight Size Bounds for Packet Headers in Narrow Meshes -- Wavelength Assignment Problem on All-Optical Networks with k Fibres per Link -- On the Logical Characterisation of Performability Properties -- On the Representation of Timed Polyhedra -- Invited Talk -- Min-wise Independent Permutations: Theory and Practice -- Testing Acyclicity of Directed Graphs in Sublinear Time -- Computing the Girth of a Planar Graph -- Lower Bounds Are Not Easier over the Reals: Inside PH -- Unlearning Helps -- Fast Approximation Schemes for Euclidean Multi-connectivity Problems -- Approximate TSP in Graphs with Forbidden Minors -- Polynomial Time Approximation Schemes for General Multiprocessor Job Shop Scheduling -- The Many Faces of a Translation -- Gales and the Constructive Dimension of Individual Sequences -- The Global Power of Additional Queries to p-Random Oracles -- Homogenization and the Polynomial Calculus. 330 $aThis book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1853 606 $aComputers 606 $aSoftware engineering 606 $aComputer networks 606 $aComputers, Special purpose 606 $aComputer science?Mathematics 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aComputer science?Mathematics. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aMathematics of Computing. 676 $a511.3 702 $aMontanari$b Ugo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRolim$b Jose D.P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWelzl$b Emo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767551103321 996 $aAutomata, languages and programming$9339738 997 $aUNINA LEADER 04588nam0 22004811i 450 001 UON00182611 005 20231205103138.830 100 $a20030730g19861991 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| 1|||| 200 1 $aStoria del Mezzogiorno$fDirettori:Giuseppe Galasso$gRosario Romeo$gCoordinam ento e Ricerche:Atanasio Mozzillo$gGabriella Di Martino$gValerio Marchi$gLaur a Lombardi 210 $aNapoli$cEdizioni del Sole$d1986 - 1991 - 10 v. ; 14 tomi ; 7000 p. compl. ; 30 cm 300 $aI; 1 Tomo: Il Mezzogiorno Antico ; I; 2 Tomo: Il Mezzogiorn o Antico ; II; 1 Tomo: Il Medioevo ; II; 2 Tomo: Il Medioevo ; III: Alto Medioev o ; IV; 1 Tomo: Il Regno dagli Angioini ai Borboni ; IV; 2 Tomo: Il Regno dagli Angioini ai Borboni ; V: Napoli capitale e le province ; VI: Le province del Mez zogiorno ; VII: Le province ; VIII; 1 Tomo: Aspetti e problemi del Medioevo e de ll'Età moderna ; IX; 2 Tomo: Aspetti e problemi del Medioevo e dell'Età Moderna ; X; 3 Tomo : Aspetti e problemi del Medioevo e dell'Età Moderna ; XI; 4 Tomo: Aspetti e problemi del Medioevo e dell'età moderna ; XII: Il Mezzogiorno nell'Italia unita ; XIII: Dal fascismo alla Repubblica XIV: La cultura co 606 $aMezzogiorno$xStoria$xStudi generali$3UONC037751$2FI 702 1$aDI_MARTINO$bGabriella$3UONV105437 702 1$aGalasso$bGiuseppe$3UONV047399 702 1$aLOMBARDI$bLaura$3UONV105436 702 1$aMARCHI$bValerio$3UONV105438 702 1$aMozzillo$bAtanasio$3UONV105435 702 1$aROMEO$bRosario$3UONV105434 801 $aIT$bSOL$c20250704$gRICA 912 $aUON00182611 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/XI $eSI SC 26449 7 0093/XI 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/III $eSI SC 22035 7 0093/III 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/II* $eSI SC 22033 7 0093/II* 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/IV* $eSI SC 22143 7 0093/IV* 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/XIV $eSI SC 23896 7 0093/XIV 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/XV* $eSI SC 22146 7 0093/XV* 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/I* $eSI SC 22142 7 0093/I* 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/VIII $eSI SC 24443 7 0093/VIII 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/II** $eSI SC 22034 7 0093/II** 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/IV** $eSI SC 22144 7 0093/IV** 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/V $eSI SC 22032 7 0093/V 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/VI $eSI SC 22036 7 0093/VI 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/I** $eSI SC 22532 7 0093/I** 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/X $eSI SC 25429 7 0093/X 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/XII $eSI SC 22853 7 0093/XII 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/VII $eSI SC 22037 7 0093/VII 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/XV** $eSI SC 22147 7 0093/XV** 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BIB D 0093/XIII $eSI SC 22145 7 0093/XIII 996 $aStoria del Mezzogiorno$9499753 997 $aUNIOR