Amir Pnueli's Documents

Amir Pnueli's Documents

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification
Read more
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Read more
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)
Read more
cardiologia

cardiologia
Read more
Characterizations of inner product spaces

Characterizations of inner product spaces
Read more
Arithmetic Circuits (Foundations and Trends in Theoretical Computer Science)

Arithmetic Circuits (Foundations and Trends in Theoretical Computer Science)
Read more
The Determinants of the Revolutionary Disintegration of the State in Iran

The Determinants of the Revolutionary Disintegration of the State in Iran
Read more
CCNP ONT Official Exam Certification Guide

CCNP ONT Official Exam Certification Guide
Read more
Molecular and Cell Biology Methods for Fungi (Methods in Molecular Biology, Vol 638)

Molecular and Cell Biology Methods for Fungi (Methods in Molecular Biology, Vol 638)
Read more
CCNP CIT Exam Certification Guide (CCNP Self-Study, 642-831) (2nd Edition)

CCNP CIT Exam Certification Guide (CCNP Self-Study, 642-831) (2nd Edition)
Read more
Qualitative Research in Sociology (Introducing Qualitative Methods series)

Qualitative Research in Sociology (Introducing Qualitative Methods series)
Read more
Computer-aided Nonlinear Control System Design: Using Describing Function Models

Computer-aided Nonlinear Control System Design: Using Describing Function Models
Read more
The Persian Night: Iran Under the Khomeinist Revolution

The Persian Night: Iran Under the Khomeinist Revolution
Read more
CCNP CIT Exam Certification Guide (CCNP Self-Study, 642-831)

CCNP CIT Exam Certification Guide (CCNP Self-Study, 642-831)
Read more
Ruthless Execution: What Business Leaders Do When Their Companies Hit the Wall (Financial Times (Prentice Hall))

Ruthless Execution: What Business Leaders Do When Their Companies Hit the Wall (Financial Times (Prentice Hall))
Read more
The Visual Poetics of Raymond Carver

The Visual Poetics of Raymond Carver
Read more
CCNP ONT Official Exam Certification Guide

CCNP ONT Official Exam Certification Guide
Read more
Jasmin

Jasmin
Read more
Jasmin

Jasmin
Read more
The Persian Night: Iran under the Khomeinist Revolution

The Persian Night: Iran under the Khomeinist Revolution
Read more
Bonded repair and retrofit of concrete structures using FRP composites: recommended construction specifications and process control manual, Nummer 514,Deel 1

Bonded repair and retrofit of concrete structures using FRP composites: recommended construction specifications and process control manual, Nummer 514,Deel 1
Read more
Conflict and Politics of Identity in Sudan

Conflict and Politics of Identity in Sudan
Read more
The Chronicle of Zuqnin, parts III and IV: A.D. 488-775 : translated from Syriac with notes and introduction, Parts 488-775

The Chronicle of Zuqnin, parts III and IV: A.D. 488-775 : translated from Syriac with notes and introduction, Parts 488-775
Read more
Meccanica dei fluidi

Meccanica dei fluidi
Read more
The Persian Night- Iran Under the Khomeinist Revolution

The Persian Night- Iran Under the Khomeinist Revolution
Read more
CCNP CIT Exam Certification Guide

CCNP CIT Exam Certification Guide
Read more
Characterizations of Inner Product Spaces (Operator Theory Advances and Applications)

Characterizations of Inner Product Spaces (Operator Theory Advances and Applications)
Read more
جملات تاکیدی مثبت

جملات تاکیدی مثبت
Read more
CCNP CIT Exam Certification Guide (CCNP Self-Study, 642-831) (2nd Edition)

CCNP CIT Exam Certification Guide (CCNP Self-Study, 642-831) (2nd Edition)
Read more
Jasmin (Roman)

Jasmin (Roman)
Read more