| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991003285699707536 |
|
|
Autore |
Paoli, Vincenzo |
|
|
Titolo |
Come conquistammo l'impero... / Vincenzo Paoli |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Brescia : Morcelliana, 1937 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910795927803321 |
|
|
Autore |
Kastenberg Joshua E. <1967-> |
|
|
Titolo |
To raise and discipline an army : Major General Enoch Crowder, the Judge Advocate General's Office and the realignment of civil and military relations in World War I / / Joshua E. Kastenberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dekalb, [Illinois] : , : Northern Illinois University Press, , 2017 |
|
©2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-5017-5804-7 |
1-60909-213-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Judge advocates - United States |
Civil-military relations - United States - History - 20th century |
World War, 1914-1918 - Law and legislation - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Enoch Crowder and the Wilson presidency -- Staffing and directing the Judge Advocate General's Department: duties and discipline -- The conscripting and training of a disciplined force -- Judge advocates in |
|
|
|
|
|
|
|
|
|
|
|
the AEF -- International law and administrative duties in war and after the Armistice -- Political oversight of military discipline -- Courts-martial, concerns over subversion, and conscientious objection -- Courts-martial and discipline controversy: 1918-1920 -- Conclusion: return to normalcy and a forgotten history. |
|
|
|
|
|
|
Sommario/riassunto |
|
Major General Enoch Crowder served as the Judge Advocate General of the United States Army from 1911 to 1923. In 1915, Crowder convinced Congress to increase the size of the Judge Advocate General's Office—the legal arm of the United States Army—from thirteen uniformed attorneys to more than four hundred. Crowder's recruitment of some of the nation's leading legal scholars, as well as former congressmen and state supreme court judges, helped legitimize President Woodrow Wilson's wartime military and legal policies. As the United States entered World War I in 1917, the army numbered about 120,000 soldiers. The Judge Advocate General's Office was instrumental in extending the military's reach into the everyday lives of citizens to enable the construction of an army of more than four million soldiers by the end of the war. Under Crowder's leadership, the office was responsible for the creation and administration of the Selective Service Act, under which thousands of men were drafted into military service, as well as enforcement of the Espionage Act and wartime prohibition. In this first published history of the Judge Advocate General's Office between the years of 1914 and 1922, Joshua Kastenberg examines not only courts-martial, but also the development of the laws of war and the changing nature of civil-military relations. The Judge Advocate General's Office influenced the legislative and judicial branches of the government to permit unparalleled assertions of power, such as control over local policing functions and the economy. Judge advocates also altered the nature of laws to recognize a person's diminished mental health as a defense in criminal trials, influenced the assertion of US law overseas, and affected the evolving nature of the law of war. This groundbreaking study will appeal to scholars, students, and general readers of US history, as well as military, legal, and political historians. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910143911103321 |
|
|
Titolo |
Compiler Construction : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by R. Niegel Horspool |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2002.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 348 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2304 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Logic, Symbolic and mathematical |
Software engineering |
Artificial intelligence |
Computer logic |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Software Engineering |
Artificial Intelligence |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Tool Demonstrations -- LISA: An Interactive Environment for Programming Language Development -- Building an Interpreter with Vmgen -- Compiler Construction Using LOTOS NT -- Analysis and Optimization -- Data Compression Transformations for Dynamically Allocated Data Structures -- Evaluating a Demand Driven Technique for Call Graph Construction -- A Graph—Free Approach to Data—Flow Analysis -- A Representation for Bit Section Based Analysis and Optimization -- Low-Level Analysis -- Online Subpath Profiling -- Precise Exception Semantics in Dynamic Compilation -- Decompiling Java Bytecode: Problems, Traps and Pitfalls -- Grammars and Parsing -- Forwarding in Attribute Grammars for Modular Language Design -- |
|
|
|
|
|
|
|
|
|
|
|
Disambiguation Filters for Scannerless Generalized LR Parsers -- Invited Talk -- Modular Static Program Analysis -- Domain-Specific Languages and Tools -- StreamIt: A Language for Streaming Applications -- Compiling Mercury to High-Level C Code -- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs -- Energy Consumption Optimizations -- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints -- Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation -- Optimizing Static Power Dissipation by Functional Units in Superscalar Processors -- Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems -- Loop and Array Optimizations -- Effective Enhancement of Loop Versioning in Java -- Value-Profile Guided Stride Prefetching for Irregular Code -- A Comprehensive Approach to Array Bounds Check Elimination for Java. |
|
|
|
|
|
|
Sommario/riassunto |
|
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. |
|
|
|
|
|
|
|
| |