| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910458747803321 |
|
|
Autore |
Reynold Nick |
|
|
Titolo |
Britain's unfulfilled mandate for Palestine / / Nick Reynold |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Lanham, Maryland ; ; London : , : Lexington Books, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (295 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mandates - Palestine - History - 20th century |
Electronic books. |
Palestine History 1917-1948 |
Palestine Politics and government 1917-1948 |
Great Britain Foreign relations Palestine |
Palestine Foreign relations Great Britain |
|
|
|
|
|
|
|
|
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 |
|
Contents; Abbreviations; Acknowledgments; I: A Mandate Proposed; Introduction; Chapter One: From Whence the Mandate Came; Chapter Two: Getting Off to a Bad Start in Palestine; Chapter Three: The New Samuel Broom Sweeps Clean!; Chapter Four: The Palestinian Arabs Set Out to Torpedo the Mandate; Chapter Five: Herbert Samuel-Part Two; Chapter Six: Seeking a Jewish-Arab Entente 1924-1929; Chapter Seven: The Second and Third British High Commissioners for Palestine; Chapter Eight: Whither Britain's Commitment to Zionism? |
Chapter Nine: The Battle between the Palestine Administration and the Jewish Agency (over Immigration, Land, and Jobs)II: The Mandate Unfulfilled; Chapter Ten: The Tables Begin to Turn; Chapter Eleven: Appeasement Rules the Waves; Chapter Twelve: Would There Be Life after the 1939 White Paper?; Conclusion; Bibliography; Index; About the Author |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
<span><span>The Middle East and its problems have become a constant source of news and public interest, but the current issues cannot be understood without a firm grasp on the historical context of the conflicts. </span><span style=""font-style:italic;"">Britain's |
|
|
|
|
|
|
|
|
|
|
|
|
|
Unfulfilled Mandate for Palestine</span><span> provides this context for one of the most significant issues in current global politics-Israel's relations with its neighbors-from the perspective a waning colonial power.</span></span> |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465921503316 |
|
|
Titolo |
Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / / Sungdeok Cha [and three others] editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer-Verlag, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 430 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 5311 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic theorem proving |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A Direct Algorithm for Multi-valued Bounded Model Checking -- Software Verification -- Model Checking Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures -- Automating Algebraic Specifications of Non-freely Generated Data Types -- Interpolants for Linear Arithmetic in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo Equality with Lazy Superposition -- Linear-Time Analysis -- Controllable Test Cases for the Distributed Test Architecture -- Tool |
|
|
|
|
|
|
|
|
|
|
|
Demonstration Papers -- Goanna: Syntactic Software Model Checking -- A Dynamic Assertion-Based Verification Platform for Validation of UML Designs -- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model-Checker -- Alaska -- NetQi: A Model Checker for Anticipation Game -- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT -- Timed and Stochastic Systems -- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions -- Decidable Compositions of O-Minimal Automata -- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies -- Model Based Importance Analysis for Minimal Cut Sets -- Theory -- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic -- Tree Pattern Rewriting Systems -- Deciding Bisimilarity of Full BPA Processes Locally -- Optimal Strategy Synthesis in Request-Response Games -- Short Papers -- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol -- Impartial Anticipation in Runtime-Verification -- Run-Time Monitoring of Electronic Contracts -- Practical Efficient Modular Linear-Time Model-Checking -- Passive Testing of Timed Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers. |
|
|
|
|
|
|
|
| |