| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910777850703321 |
|
|
Autore |
Kastor Peter J |
|
|
Titolo |
The nation's crucible [[electronic resource] ] : the Louisiana Purchase and the creation of America / / Peter J. Kastor |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New Haven, : Yale University Press, c2004 |
|
|
|
|
|
|
|
ISBN |
|
1-281-72180-8 |
9786611721800 |
0-300-12824-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (326 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Louisiana Purchase |
Nationalism - United States - History - 19th century |
Political culture - United States - History - 19th century |
National characteristics, American |
Frontier and pioneer life - Louisiana |
United States Territorial expansion |
United States Politics and government 1801-1815 |
United States Politics and government 1815-1861 |
Louisiana History 1803-1865 |
Louisiana Race relations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 285-304) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Contents -- Acknowledgments -- Introduction -- 1. America -- 2. Acquisition -- 3. ''Numerous and Troublesome Neighbors'' -- 4. Codes -- Part III: Crisis (1808-1815) -- 5. Local Diplomacy -- 6. Polities -- 7. ''The Din of War'' -- 8. ''The State of Louisiana Now Has Her Voice'' -- 9. Louisiana -- Conclusion -- Abbreviations -- Notes -- Bibliography -- Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
In 1803 the United States purchased Louisiana from France. This seemingly simple acquisition brought with it an enormous new territory as well as the country's first large population of nonnaturalized Americans-Native Americans, African Americans, and Francophone residents. What would become of those people dominated national |
|
|
|
|
|
|
|
|
|
|
|
|
|
affairs in the years that followed. This book chronicles that contentious period from 1803 to 1821, years during which people proposed numerous visions of the future for Louisiana and the United States. The Louisiana Purchase proved to be the crucible of American nationhood, Peter Kastor argues. The incorporation of Louisiana was among the most important tasks for a generation of federal policymakers. It also transformed the way people defined what it meant to be an American. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910349422903321 |
|
|
Titolo |
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 281 p. 74 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10818 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Computer programming |
Computers |
Professions |
Electronic digital computers - Evaluation |
Computers, Special purpose |
Software Engineering |
Compilers and Interpreters |
Programming Techniques |
The Computing Profession |
System Performance and Evaluation |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. . |
|
|
|
|
|
|
|
| |