1.

Record Nr.

UNINA9910453261503321

Autore

Turley William S

Titolo

The Second Indochina War [[electronic resource] ] : a concise political and military history / / William S. Turley

Pubbl/distr/stampa

Lanham, : Rowman & Littlefield Publishers, [2009]

ISBN

1-282-49614-X

9786612496141

0-7425-5745-6

Edizione

[2nd ed.]

Descrizione fisica

1 online resource (336 p.)

Disciplina

959.704/3

959.7043

Soggetti

Vietnam War, 1961-1975

Southeast Asia

Electronic books.

Vietnam Politics and government 1945-1975

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di contenuto

Contents; Figures, Maps, and Tables; About the Book; Preface; Abbreviations; Chronology; Introduction; Chapter 01. Legacies of Time; Chapter 02. Between Two Wars; Between Two Wars; Chapter 03. Fateful Decisions; Chapter 04. Americanization; Chapter 05. Air War; Chapter 06. Tet; Chapter 07. The Road to Paris; Chapter 08. After the Americans; Chapter 09. Of Lessons and Their Price; Appendix A: Annual Troop Movement from North to South and Casualties en Route, May 1959 to April 1975-Group 559 and American Estimates; Appendix B: Revolutionary Armed Forces and Population in the B2 Theater

Further ReadingIndex; About the Author

Sommario/riassunto

Now in a thoroughly revised and updated edition, this classic history of the ""Vietnam Wa""' as seen by all participants takes into account the wealth of research and writing on the war since the book's original publication more than two decades ago. Leading scholar William S. Turley combines original research, thorough knowledge of the literature, his own insight from many trips to Vietnam during and since the war, and sound interpretation into a succinct and well-crafted



analysis that provides balanced treatment of the Vietnamese, Lao, Khmer, and American dimensions of the war.

2.

Record Nr.

UNISA996393952103316

Autore

Cressy Edmund

Titolo

Captivity improved to spiritual purposes. Or spiritual directions, given to prisoners of all sorts whether debtors or malefactors [[electronic resource] ] : Principally designed for the use of those who are prisoners in those prisons which are under the jurisdiction of the city of London, as Newgate, Ludgate, the Counters, &c. Though also applyable to others under the like circumstances else where. To which are annexed directions to those who have their maintenance and education at the publick charge, as in Christ-Church hospital, or cure, as in St. Bartholomew's and St. Thomas's, or reducement to a more thrifty course of life, as in Bridewel, or have been happily restored to their former sense[ ] as in Bethleem, alias Bedlam

Pubbl/distr/stampa

London, : printed by I. Redmayne, 1675

Descrizione fisica

[10], 122, [4] p

Soggetti

Prisoners - Great Britain

Spiritual life

Poor - England

Public welfare - England

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Attributed to Edmund Cressy by Wing (CD-ROM edition).

With a final leaf of errata.

Reproduction of original in the Sion College Library, London.

Sommario/riassunto

eebo-0146



3.

Record Nr.

UNINA9910872627403321

Autore

Kozen Dexter <1951->

Titolo

Logic in Computer Science, 10th Symposium on (LICS '95

Pubbl/distr/stampa

[Place of publication not identified], : IEEE Computer Society Press, 1995

Descrizione fisica

1 online resource (xiii, 518 pages) : illustrations

Disciplina

004.0151

Soggetti

Computer science - Mathematics

Logic, Symbolic and mathematical

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references.

Sommario/riassunto

The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR.