Kategoria BISAC: Political Science >> International Relations - Arms Control

This book investigates what is driving Iran's nuclear weapons programme in a less-hostile regional environment, using a theory of protracted conflicts to explicate proliferation.

Iran's nuclear weapons program has alarmed the international community since the 1990s, but has come to the forefront of international security concerns since 2000. This book argues that Iran's hostility with the United States remains the major causal factor for its proliferation activities. With the US administration pursuing aggressive foreign policies towards Iran since 2000, the latter's...

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for...

This book offers a comprehensive assessment of the dynamics driving, and constraining, nuclear power development in Asia, Europe and North America, providing detailed comparative analysis.

Civil war and conflict within countries is the most prevalent threat to peace and security in the opening decades of the twenty-first century. A pivotal factor in the escalation of tensions to open conflict is the role of elites in exacerbating tensions along identity lines by giving the ideological justification, moral reasoning, and call to violence. Between Terror and Tolerance examines the varied roles of religious leaders in societies deeply divided by ethnic, racial, or religious conflict. The chapters in this book explore cases when religious leaders have justified or...