Z-Library پر تلاش کریں Roberto Gorrieri:

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024

Z-Library دنیا کی سب سے بڑی آن لائن لائبریریوں میں سے ایک ہے جس میں 17,000,000 سے زیادہ کتابیں اور 84,837,000 سے زیادہ مضامین ہے۔ ہمارا مقصد ادب کو ہر کسی کے لیے قابل رسائی بنانا ہے۔ آج (15 ستمبر، 2024) ہم نے پروجیکٹ کی دیکھ بھال اور ترقی کے لئے اضافی فنڈ ریزنگ شروع کردی ہے.

اس کے علاوہ لامحدود ڈاؤنلوڈز (ڈانیشن کرنے کے دن کے بعد 31 دن کے لیے) تمام شراکت داروں کے لیے دستیاب ہیں جو کہ فنڈ ریزنگ کی مدت کے دوران 1 اکتوبر، 2024 تک ڈانیشن کریں گے.

فنڈ ریزنگ کے بارے میںیہاں مزید پڑھیں

عطیہ کریں

کتابیں (28)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Introduction to Concurrency Theory: Transition Systems and CCS

Introduction to Concurrency Theory: Transition Systems and CCS

Springer International Publishing

Roberto Gorrieri, Cristian Versari (auth.)

سال:

2015

زبان:

english

فائل:

PDF, 3.47 MB

0 / 0

english, 2015

2

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 2.56 MB

0 / 0

english, 2005

3

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 3.31 MB

0 / 0

english, 2009

4

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 3.64 MB

0 / 0

english, 2011

5

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 3.98 MB

0 / 0

english, 2006

6

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 4.33 MB

0 / 0

english, 2007

7

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Pierpaolo Degano, Roberto Gorrieri

سال:

2009

زبان:

english

فائل:

PDF, 6.64 MB

0 / 0

english, 2009

8

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 10.48 MB

0 / 0

english, 2004

9

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Mario Bravetti, Nadia Busi, Roberto Gorrieri (auth.), Theo Dimitrakos, Fabio Martinelli (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 4.03 MB

0 / 0

english, 2005

10

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 4.29 MB

0 / 0

english, 2004

11

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 7.42 MB

0 / 0

english, 2009

12

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 3.57 MB

0 / 0

english, 2011

13

Электротехнический справочник. Том 2

Электротехнический справочник. Том 2

Riccardo Focardi, Roberto Gorrieri

سال:

1964

زبان:

russian

فائل:

DJVU, 37.32 MB

0 / 0

russian, 1964

14

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Springer International Publishing

Roberto Gorrieri (auth.)

سال:

2017

زبان:

english

فائل:

PDF, 3.05 MB

0 / 0

english, 2017

15

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Roberto Gorrieri

سال:

2017

زبان:

english

فائل:

PDF, 2.69 MB

0 / 0

english, 2017

16

Foundations of Security Analysis and Design: Tutorial Lectures

Foundations of Security Analysis and Design: Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Peter Y. A. Ryan (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

سال:

2001

زبان:

english

فائل:

PDF, 2.74 MB

0 / 0

english, 2001

17

Coordination of Internet Agents: Models, Technologies, and Applications

Coordination of Internet Agents: Models, Technologies, and Applications

Springer-Verlag Berlin Heidelberg

Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf (eds.)

سال:

2001

زبان:

english

فائل:

PDF, 31.37 MB

0 / 0

english, 2001

18

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Roberto Gorrieri

سال:

2017

زبان:

english

فائل:

PDF, 2.00 MB

0 / 0

english, 2017

19

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)

سال:

1997

زبان:

english

فائل:

DJVU, 10.31 MB

0 / 0

english, 1997

20

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 1.97 MB

0 / 0

english, 2004

21

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

سال:

2000

زبان:

english

فائل:

PDF, 14.70 MB

0 / 0

english, 2000

22

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 6.64 MB

0 / 0

english, 2007

23

Foundations of Security Analysis and Design II

Foundations of Security Analysis and Design II

Riccardo Focardi, Roberto Gorrieri

سال:

2004

زبان:

german

فائل:

PDF, 2.42 MB

0 / 0

german, 2004

24

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 7.47 MB

0 / 0

english, 2009

25

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.45 MB

0 / 0

english, 2009

26

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 2.24 MB

0 / 0

english, 2005

27

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 2.37 MB

0 / 0

english, 2004

28

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 3.41 MB

0 / 0

english, 2009