Amir Pnueli's Documents

Amir Pnueli's Documents

Temporal verification of reactive systems: progress

Temporal verification of reactive systems: progress
Read more
Meccanica dei fluidi

Meccanica dei fluidi
Read more
God's equation: Einstein, relativity, and the expanding universe

God's equation: Einstein, relativity, and the expanding universe
Read more
The Cave and the Cathedral - How a Real-Life Indiana Jones and a Renegade Scholare Decoded the Ancient Art of Man

The Cave and the Cathedral - How a Real-Life Indiana Jones and a Renegade Scholare Decoded the Ancient Art of Man
Read more
Entanglement: the greatest mystery in physics

Entanglement: the greatest mystery in physics
Read more
An Introduction to Macroscopic Quantum Phenomena and Quantum Dissipation

An Introduction to Macroscopic Quantum Phenomena and Quantum Dissipation
Read more
The Cave & the Cathedral How a Real-Life Indiana Jones & a Renegade Scholar Decoded the Ancient Art of Man

The Cave & the Cathedral How a Real-Life Indiana Jones & a Renegade Scholar Decoded the Ancient Art of Man
Read more
Large deviations techniques and applications

Large deviations techniques and applications
Read more
Entanglement: the greatest mystery in physics

Entanglement: the greatest mystery in physics
Read more
Cisco CCNP Support Exam Certification Guide

Cisco CCNP Support Exam Certification Guide
Read more
Optimizing UNIX for Performance

Optimizing UNIX for Performance
Read more
The Cave & the Cathedral How a Real-Life Indiana Jones & a Renegade Scholar Decoded the Ancient Art of Man

The Cave & the Cathedral How a Real-Life Indiana Jones & a Renegade Scholar Decoded the Ancient Art of Man
Read more
Optimizing Unix for performance

Optimizing Unix for performance
Read more
After Khomeini: Iran Under His Successors

After Khomeini: Iran Under His Successors
Read more
God's Equation: Einstein, Relativity, and the Expanding Universe

God's Equation: Einstein, Relativity, and the Expanding Universe
Read more
Fermat's last theorem: unlocking the secret of an ancient mathematical problem

Fermat's last theorem: unlocking the secret of an ancient mathematical problem
Read more
Entanglement: The Greatest Mystery in Physics

Entanglement: The Greatest Mystery in Physics
Read more
No title

No title
Read more
The Divine Guide in Early Shi'ism: The Sources of Esotericism in Islam

The Divine Guide in Early Shi'ism: The Sources of Esotericism in Islam
Read more
The Cave & the Cathedral How a Real-Life Indiana Jones & a Renegade Scholar Decoded the Ancient Art of Man

The Cave & the Cathedral How a Real-Life Indiana Jones & a Renegade Scholar Decoded the Ancient Art of Man
Read more
The Turban for the Crown: The Islamic Revolution in Iran (Studies in Middle Eastern History)

The Turban for the Crown: The Islamic Revolution in Iran (Studies in Middle Eastern History)
Read more
God's Equation: Einstein, relativity and the expanding universe

God's Equation: Einstein, relativity and the expanding universe
Read more
The Cave and the Cathedral - How a Real-Life Indiana Jones and a Renegade Scholare Decoded the Ancient Art of Man

The Cave and the Cathedral - How a Real-Life Indiana Jones and a Renegade Scholare Decoded the Ancient Art of Man
Read more
God's equation: Einstein, relativity, and the expanding universe

God's equation: Einstein, relativity, and the expanding universe
Read more
The Cave & the Cathedral

The Cave & the Cathedral
Read more
The Divine Guide in Early Shi'ism: The Sources of Esotericism in Islam

The Divine Guide in Early Shi'ism: The Sources of Esotericism in Islam
Read more
Complete Business Statistics, 7th edition (The Mcgraw-Hill Irwin Series)

Complete Business Statistics, 7th edition (The Mcgraw-Hill Irwin Series)
Read more
The Acts of Mar Mari the Apostle (Writings from the Greco-Roman World)

The Acts of Mar Mari the Apostle (Writings from the Greco-Roman World)
Read more
Combinatorial Pattern Matching: 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Combinatorial Pattern Matching: 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Complete Business Statistics, Seventh Edition (The Mcgraw-Hill Irwin Series)

Complete Business Statistics, Seventh Edition (The Mcgraw-Hill Irwin Series)
Read more