| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910321349503321 |
|
|
Autore |
Levy, Sidney M. |
|
|
Titolo |
Project management in construction / Sidney M. Levy |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : McGraw Hill Education, c2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[7th ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465840703316 |
|
|
Titolo |
Software Engineering and Formal Methods [[electronic resource] ] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 384 p. 103 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7504 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Mathematical logic |
Computer communication systems |
Artificial intelligence |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Computer Communication Networks |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 author index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910788920403321 |
|
|
Autore |
Goodall Alex (Alexis Vere) |
|
|
Titolo |
Loyalty and liberty : American countersubversion from World War I to the McCarthy era / / Alex Goodall |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Urbana : , : University of Illinois Press, , [2013] |
|
©2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (344 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Anti-communist movements - United States - History - 20th century |
Radicalism - United States - History - 20th century |
Political persecution - United States - History - 20th century |
United States Politics and government 1919-1933 |
United States Politics and government 1933-1945 |
|
|
|
|
|
|
|
|
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 and index. |
|
|
|
|
|
|
Nota di contenuto |
|
part I. The revolutionary challenge -- part II. Professional patriots -- part III. The new anticommunism. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"Loyalty and Liberty offers the first comprehensive account of the politics of countersubversion in the United States prior to the McCarthy era. A sweeping study that surveys the loyalty politics of World War I, the antiradicalism of the 1920s and antifascism of the 1930s, and the emerging McCarthyite politics of World War II, this book shows how countersubversive thinking evolved alongside and contributed to the development of the modern federal state. Alex Goodall explores how antiradical crusading was hampered in the 1920s both by constitutional, financial, and political constraints on antisubversion that followed from excesses of political repression during and after World War I and by scandals that plagued the movement and led many to view it as either deluded or malevolent. The 1930s saw a major restructuring within the antiradical community, and New Deal activism encouraged a conservative backlash that began to see the looming threat of communism as lying in Washington, rather than on the margins of American society. Meanwhile, the executive branch created countersubversive machinery capable for the first time of prosecuting an effective war on radical dissent. By the end of World War II, new alliances on the left and right had largely consolidated into the form they would keep during the Cold War: a new anticommunist movement worked to restrain the supposedly dictatorial ambitions of the Roosevelt administration, while New Deal liberals split between supporters of the Popular Front, civil liberties activists, and embryonic Cold Warriors as they struggled to respond to the issues of communist espionage in Washington and communist influence in politics more broadly"-- |
|
|
|
|
|
|
|
| |