Pnueli: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Meccanica dei fluidi

Meccanica dei fluidi

D. Pnueli - C. Gutfinger

ენა:

italian

ფაილი:

PDF, 103.97 MB

0 / 0

italian

2

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Zohar Manna, Amir Pnueli

წელი:

1995

ენა:

english

ფაილი:

PDF, 23.93 MB

0 / 0

english, 1995

3

Fluid mechanics

Fluid mechanics

Cambridge University Press

David Pnueli, Chaim Gutfinger

წელი:

1992

ენა:

english

ფაილი:

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

წელი:

1991

ენა:

english

ფაილი:

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

წელი:

1998

ენა:

english

ფაილი:

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

წელი:

1988

ენა:

english

ფაილი:

PDF, 7.00 MB

0 / 0

english, 1988

7

Fluid mechanics

Fluid mechanics

Cambridge University Press

David Pnueli, Chaim Gutfinger

წელი:

1992

ენა:

english

ფაილი:

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

წელი:

1978

ენა:

english

ფაილი:

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

წელი:

2000

ენა:

english

ფაილი:

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

წელი:

2002

ენა:

english

ფაილი:

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

წელი:

2010

ენა:

english

ფაილი:

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

წელი:

2003

ენა:

english

ფაილი:

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

წელი:

1997

ენა:

english

ფაილი:

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.

წელი:

1996

ენა:

english

ფაილი:

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

წელი:

1992

ენა:

english

ფაილი:

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

წელი:

1995

ენა:

english

ფაილი:

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

წელი:

2010

ენა:

english

ფაილი:

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

წელი:

2010

ენა:

english

ფაილი:

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

წელი:

1992

ენა:

english

ფაილი:

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

წელი:

1992

ენა:

english

ფაილი:

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

წელი:

2003

ენა:

english

ფაილი:

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.

წელი:

1995

ენა:

english

ფაილი:

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

წელი:

1989

ენა:

english

ფაილი:

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

წელი:

2005

ენა:

english

ფაილი:

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

წელი:

1988

ენა:

english

ფაილი:

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

წელი:

1998

ენა:

english

ფაილი:

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

წელი:

2005

ენა:

english

ფაილი:

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

წელი:

1979

ენა:

english

ფაილი:

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

წელი:

1979

ენა:

english

ფაილი:

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

წელი:

2000

ენა:

english

ფაილი:

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

წელი:

1998

ენა:

english

ფაილი:

PDF, 7.56 MB

0 / 0

english, 1998