| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455512603321 |
|
|
Titolo |
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, DC, : IOS Press, 2009 |
|
|
|
|
|
|
|
ISBN |
|
1-4416-1613-6 |
1-60750-410-3 |
600-00-1467-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (344 p.) |
|
|
|
|
|
|
Collana |
|
NATO science for peace and security series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Engineering - Data processing |
Engineering - Methodology |
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 |
|
Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination - Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software |
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910568187903321 |
|
|
Autore |
Duturaeva Dilnoza |
|
|
Titolo |
Qarakhanid Roads to China : A History of Sino-Turkic Relations / / Dilnoza Duturaeva |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Brill, 2022 |
|
Leiden ; ; Boston : , : Brill, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Handbook of Oriental Studies. Section 8 Uralic & Central Asian Studies ; ; 28 |
Asian Studies E-Books Online, Collection 2022 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Liaodynastie |
Handel |
Diplomatie |
Civilization |
Diplomacy |
Seidenstraße |
China |
Silk Road History |
China History Liao dynasty, 947-1125 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Preliminary Material / Dilnoza Duturaeva -- Copyright page / Dilnoza Duturaeva -- Dedication / Dilnoza Duturaeva -- Foreword / Étienne de la Vaissière -- Acknowledgments / Dilnoza Duturaeva -- Maps, Tables and Figures / Dilnoza Duturaeva -- Abbreviations Used in the Tables / Dilnoza Duturaeva -- Note on Transliterations and Measures / Dilnoza Duturaeva -- Introduction / Dilnoza Duturaeva -- Chapter 1 The Qarakhanid World / Dilnoza Duturaeva -- Chapter 2 Between the Islamic World and Liao China / Dilnoza Duturaeva -- Chapter 3 Envoys and Traders to Northern Song China / Dilnoza Duturaeva -- Chapter 4 Before China: Dunhuang, Turfan and Tibet / Dilnoza Duturaeva -- Chapter 5 Qarakhanid Allies and China / Dilnoza Duturaeva -- Chapter 6 The Qarakhanid Silk Roads and Beyond / Dilnoza Duturaeva -- |
|
|
|
|
|
|
|
|
|
|
|
|
|
Conclusion / Dilnoza Duturaeva -- Appendix 1 Records on the Qarakhanids in Song shi / Dilnoza Duturaeva -- Appendix 2 Documents on the Qarakhanid Diplomacy and Trade / Dilnoza Duturaeva -- Appendix 3 List of the Qarakhanid Missions to Song China / Dilnoza Duturaeva -- Appendix 4 Glossary of Chinese Characters / Dilnoza Duturaeva -- Bibliography / Dilnoza Duturaeva -- Index / Dilnoza Duturaeva. |
|
|
|
|
|
|
Sommario/riassunto |
|
Qarakhanid Roads to China reconsiders the diplomacy, trade and geography of transcontinental networks between Central Asia and China from the 10th to the 12th centuries and challenges the concept of "the Silk Road crisis" in the period between the fall of the Tang Dynasty and the rise of the Mongols. Utilizing a broad range of Islamic and Chinese primary sources together with archaeological data, Dilnoza Duturaeva demonstrates the complexity of interaction along the Silk Roads and beyond that, revolutionizes our understanding of the Qarakhanid world and Song-era China's relations with neighboring regions. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910299996103321 |
|
|
Autore |
Smith-Rowsey Daniel |
|
|
Titolo |
Blockbuster Performances : How Actors Contribute to Cinema’s Biggest Hits / / by Daniel Smith-Rowsey |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (219 pages) |
|
|
|
|
|
|
Collana |
|
Palgrave Studies in Screen Industries and Performance, , 2946-2509 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Motion picture acting |
Motion pictures, American |
Screen Performance |
American Film and TV |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction: Why Do Critics and Scholars Dismiss Blockbuster Performances? -- 2. Historical Epic Blockbusters: Are You Not Entertained…By Actors? -- 3. Magic Fantasy Blockbusters: One Whimsy to Rule Them All -- 4. Superhero Blockbusters: Actors Ahead of the Curve -- 5. Crime Action Blockbusters: Performing Shaken, Not Stirred -- 6. Male-Led Science Fiction Blockbusters: Performing “Faster, More Intense” -- 7. Female-Led Science Fiction Blockbusters: Performing “Stop Taking My Hand!” -- 8. Conclusion: Once More Around the Blockbuster. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book examines performances in the American film industry’s highest-earning and most influential films. Countering decades of discourse and the conventional notion that special effects are the real stars of Hollywood blockbusters, this book finds that the acting performances in these big-budget action movies are actually better, and more genre-appropriate, than reputed. It argues that while blockbusters are often edited for speed, thrills, and simplicity, and performances are sometimes tailored to this style, most major productions feature more scenes of stage-like acting than hyper-kinetic action. Knowing this, producers of the world’s highest-budgeted motion pictures usually cast strong or generically appropriate actors. With chapters offering unique readings of some of cinema’s biggest hits, such as The Dark Knight, Pirates of the Caribbean, Star Wars, Iron Man and The Hunger Games, this unprecedented study sheds new light on the importance of performance in the Hollywood blockbuster. . |
|
|
|
|
|
|
|
| |