| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910462840403321 |
|
|
Autore |
Bachrach Bernard S. <1939-> |
|
|
Titolo |
Charlemagne's early campaigns (768-777) : a diplomatic and military analysis / / by Bernard S. Bachrach |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boston : , : Brill, , 2013 |
|
|
|
|
|
|
|
ISBN |
|
1-299-18468-5 |
90-04-24477-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (743 p.) |
|
|
|
|
|
|
Collana |
|
History of warfare, , 1385-7827 ; ; 82 |
History of warfare, , 1385-7827 ; ; v. 82 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Military art and science - Europe - History - To 1500 |
Military history, Medieval |
HISTORY / Europe / France |
Electronic books. |
|
|
|
|
|
|
|
|
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 |
|
Preliminary Material / Bernard S. Bachrach -- Introduction / Bernard S. Bachrach -- Two Kings: Charlemagne and Carloman / Bernard S. Bachrach -- Italy in Flux: Opportunities and Problems / Bernard S. Bachrach -- The Saxon War: Phase One / Bernard S. Bachrach -- The Unwanted War / Bernard S. Bachrach -- The Siege of Pavia / Bernard S. Bachrach -- The Fall of Pavia and Its Aftermath / Bernard S. Bachrach -- The Saxon War: Phase Two / Bernard S. Bachrach -- The Friuli Diversion / Bernard S. Bachrach -- The “End” of the Saxon War / Bernard S. Bachrach -- Integration of the Saxon Territory / Bernard S. Bachrach -- Conclusions / Bernard S. Bachrach -- Bibliography / Bernard S. Bachrach -- Index / Bernard S. Bachrach. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Charlemagne's Early Campaigns is the first book-length study of Charlemagne at war and its focus on the period 768-777 makes clear that the topic, for his forty-six year reign, is immense. The neglect of Charlemagne's campaigns and the diplomacy that undergirded them has truncated our understanding of the creation of the Carolingian empire and the great success enjoyed by its leader, who ranks with |
|
|
|
|
|
|
|
|
|
|
|
|
Frederick the Great and Napoleon among Europe's best. The critical deployment here of the numerous narrative and documentary sources combined with the systematic use of the immense corpus of archaeological evidence, much of which the result of excavations undertaken since World War II, is applied here, in detail, for the first time in order to broaden our understanding of Charlemagne's military strategy and campaign tactics. Charlemagne and his advisers emerge as very careful planners, with a thorough understanding of Roman military thinking, who were dedicated to the use of overwhelming force in order to win whenever possible without undertaking bloody combat. Charlemagne emerges from this study, to paraphrase a observation attributed to Scipio Africanus, as a military commander and not a warrior. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484893803321 |
|
|
Titolo |
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / / edited by Clark Barrett, Misty Davies, Temesghen Kahsai |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 436 p. 124 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 10227 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Programming languages (Electronic computers) |
Computer programming |
Computer logic |
Mathematical logic |
Algorithms |
Software Engineering |
Programming Languages, Compilers, Interpreters |
Programming Techniques |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. |
|
|
|
|
|
|
|
| |