Pnueli: cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (31)
Più popolari
Lista
- Lista
- Tabella

1

Meccanica dei fluidi

Meccanica dei fluidi

D. Pnueli - C. Gutfinger

Lingua:

italian

File:

PDF, 103.97 MB

0 / 0

italian

2

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Zohar Manna, Amir Pnueli

Anno:

1995

Lingua:

english

File:

PDF, 23.93 MB

0 / 0

english, 1995

3

Fluid mechanics

Fluid mechanics

Cambridge University Press

David Pnueli, Chaim Gutfinger

Anno:

1992

Lingua:

english

File:

PDF, 11.85 MB

0 / 0

english, 1992

4

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, Amir Pnueli

Anno:

1991

Lingua:

english

File:

DJVU, 2.80 MB

0 / 0

english, 1991

5

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 6.24 MB

0 / 0

english, 1998

6

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Springer Berlin Heidelberg

Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)

Anno:

1988

Lingua:

english

File:

PDF, 7.00 MB

0 / 0

english, 1988

7

Fluid mechanics

Fluid mechanics

Cambridge University Press

David Pnueli, Chaim Gutfinger

Anno:

1992

Lingua:

english

File:

DJVU, 4.24 MB

0 / 0

english, 1992

8

Two approaches to interprocedural data flow analysis

Two approaches to interprocedural data flow analysis

New York University. Courant Institute of Mathematical Sciences. ComputerScience Department

Pnueli, A., Sharir, Micha

Anno:

1978

Lingua:

english

File:

PDF, 3.12 MB

0 / 0

english, 1978

9

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

Anno:

2000

Lingua:

english

File:

PDF, 3.80 MB

0 / 0

english, 2000

10

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 4.38 MB

0 / 0

english, 2002

11

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 6.95 MB

0 / 0

english, 2010

12

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

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

13

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Oded Maler (eds.)

Anno:

1997

Lingua:

english

File:

DJVU, 3.80 MB

0 / 0

english, 1997

14

Temporal verification of reactive systems: progress

Temporal verification of reactive systems: progress

Manna Z., Pnueli A.

Anno:

1996

Lingua:

english

File:

PDF, 1.40 MB

0 / 0

english, 1996

15

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

Anno:

1992

Lingua:

english

File:

DJVU, 4.30 MB

0 / 0

english, 1992

16

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Anno:

1995

Lingua:

english

File:

DJVU, 6.46 MB

0 / 0

english, 1995

17

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 6.95 MB

0 / 0

english, 2010

18

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 8.44 MB

0 / 5.0

english, 2010

19

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

Anno:

1992

Lingua:

english

File:

PDF, 7.06 MB

0 / 0

english, 1992

20

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Springer-Verlag New York

Zohar Manna, Amir Pnueli (auth.)

Anno:

1992

Lingua:

english

File:

PDF, 8.62 MB

0 / 0

english, 1992

21

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

Springer-Verlag Berlin Heidelberg

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 9.00 MB

0 / 0

english, 2003

22

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Manna Z., Pnueli A.

Anno:

1995

Lingua:

english

File:

DJVU, 4.42 MB

0 / 0

english, 1995

23

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)

Anno:

1989

Lingua:

english

File:

DJVU, 4.48 MB

0 / 0

english, 1989

24

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)

Anno:

2005

Lingua:

english

File:

PDF, 7.79 MB

0 / 0

english, 2005

25

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Springer Berlin Heidelberg

Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)

Anno:

1988

Lingua:

english

File:

DJVU, 3.25 MB

0 / 0

english, 1988

26

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 3.82 MB

0 / 0

english, 1998

27

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

Anno:

2005

Lingua:

english

File:

PDF, 7.68 MB

0 / 0

english, 2005

28

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

Anno:

1979

Lingua:

english

File:

PDF, 8.00 MB

0 / 0

english, 1979

29

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

Anno:

1979

Lingua:

english

File:

DJVU, 3.42 MB

0 / 0

english, 1979

30

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

Anno:

2000

Lingua:

english

File:

PDF, 8.34 MB

0 / 0

english, 2000

31

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 7.56 MB

0 / 0

english, 1998