Orna Almog's Documents

Orna Almog's Documents

Britain, Israel and the United States, 1955-1958: Beyond Suez (Cass Series--British Foreign and Colonial Policy)

Britain, Israel and the United States, 1955-1958: Beyond Suez (Cass Series--British Foreign and Colonial Policy)
Read more
Cogito?: Descartes and Thinking the World

Cogito?: Descartes and Thinking the World
Read more
Cogito?: Descartes and Thinking the World

Cogito?: Descartes and Thinking the World
Read more
Computer Aided Verification, 9 conf., CAV '97

Computer Aided Verification, 9 conf., CAV '97
Read more
Knowledge and Demonstration: Aristotle's Posterior Analytics (The New Synthese Historical Library)

Knowledge and Demonstration: Aristotle's Posterior Analytics (The New Synthese Historical Library)
Read more
Between memory and history: the evolution of Israeli historiography of the Holocaust, 1945-1961

Between memory and history: the evolution of Israeli historiography of the Holocaust, 1945-1961
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007

Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007
Read more
The Philosophy of David Kaplan

The Philosophy of David Kaplan
Read more
25 Years of Model Checking

25 Years of Model Checking
Read more
The Sabra: The Creation of the New Jew

The Sabra: The Creation of the New Jew
Read more
Contributions to Tibetan Buddhist Literature - PIATS 2006

Contributions to Tibetan Buddhist Literature - PIATS 2006
Read more
Archaeology: Discovering the Past

Archaeology: Discovering the Past
Read more
Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness
Read more
Themes from Kaplan

Themes from Kaplan
Read more
Model checking

Model checking
Read more
Model Checking

Model Checking
Read more
Model checking

Model checking
Read more
Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday

Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday
Read more