A. Pnueli (eds.): Z-Libraryで検索

寄付 2024年9月15日 – 2024年10月1日募金について

知識と文化への入り口。誰にでもアクセス可能です。

寄付 2024年9月15日 – 2024年10月1日

Z-Libraryは17,000,000冊以上の本と 84,837,000個の記事の本を含む世界有数の電子図書館です。我々のミッションは誰にでも本を手に入れやすくすることです！本日 (2024年9月15日) プロジェクト発展・サポートに向けた追加寄付の募集を始めます。.

までの寄付金募金期間中に寄付してくださる全てのユーザー様にも（寄付日から31日の間に）無限2024年10月1日ダウンロードを差し上げます。.

募金について詳細

寄付をする

フィルターを適用する

完全一致

完全一致

本 (22)
一番人気本
リスト
- リスト
- 表

1

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.)

年:

1998

言語:

english

ファイル:

PDF, 6.24 MB

0 / 0

english, 1998

2

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.)

年:

1988

言語:

english

ファイル:

PDF, 7.00 MB

0 / 0

english, 1988

3

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.)

年:

2000

言語:

english

ファイル:

PDF, 3.80 MB

0 / 0

english, 2000

4

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.)

年:

2002

言語:

english

ファイル:

PDF, 4.38 MB

0 / 0

english, 2002

5

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.)

年:

2010

言語:

english

ファイル:

PDF, 6.95 MB

0 / 0

english, 2010

6

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.)

年:

2003

言語:

english

ファイル:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

7

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.)

年:

1997

言語:

english

ファイル:

DJVU, 3.80 MB

0 / 0

english, 1997

8

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.)

年:

1992

言語:

english

ファイル:

DJVU, 4.30 MB

0 / 0

english, 1992

9

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.)

年:

1995

言語:

english

ファイル:

DJVU, 6.46 MB

0 / 0

english, 1995

10

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.)

年:

2010

言語:

english

ファイル:

PDF, 6.95 MB

0 / 0

english, 2010

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.)

年:

2010

言語:

english

ファイル:

PDF, 8.44 MB

0 / 5.0

english, 2010

12

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.)

年:

1992

言語:

english

ファイル:

PDF, 7.06 MB

0 / 0

english, 1992

13

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.)

年:

2003

言語:

english

ファイル:

PDF, 9.00 MB

0 / 0

english, 2003

14

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.)

年:

1989

言語:

english

ファイル:

DJVU, 4.48 MB

0 / 0

english, 1989

15

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.)

年:

2005

言語:

english

ファイル:

PDF, 7.79 MB

0 / 0

english, 2005

16

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.)

年:

1988

言語:

english

ファイル:

DJVU, 3.25 MB

0 / 0

english, 1988

17

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.)

年:

1998

言語:

english

ファイル:

PDF, 3.82 MB

0 / 0

english, 1998

18

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.)

年:

2005

言語:

english

ファイル:

PDF, 7.68 MB

0 / 0

english, 2005

19

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.)

年:

1979

言語:

english

ファイル:

PDF, 8.00 MB

0 / 0

english, 1979

20

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.)

年:

1979

言語:

english

ファイル:

DJVU, 3.42 MB

0 / 0

english, 1979

21

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.)

年:

2000

言語:

english

ファイル:

PDF, 8.34 MB

0 / 0

english, 2000

22

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.)

年:

1998

言語:

english

ファイル:

PDF, 7.56 MB

0 / 0

english, 1998