Pierpaolo Degano: د Z-Library په سایټ کښې پلټل

اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

پوهې او کلتور ته وړیا لاسرسی.

اعانه 15 سپتمبر 2024 – 1 اکتبر2024

Z-Library په نړی کې انلاین لوی ترین کتابتون، چې پکی زیاتره 17,000,000 کتابونه او 84,837,000 مقالی ساتل کیږی، مونږ کوښښ کوو چې ادبیاتو ته هر سړی لاسرسی ولری نن (15 سپتمبر 2024) د پروژی د ملاتړ او پرمختیا لپاره مونږ د اضافی اعانی ټولونی صندوق خلاصوو.

همداسی بدون د نورم (لیمیت) کاپی کول ( ۳۱ ورځو لپاره د اعانی ورکولو د ورځی څخه) د ټولو استفاده کوونکو لپاره مجاز دی،د موادو ټولولو په جریان کې اعانه ورکوی تر 1 اکتبر2024.

د پیسو د راټولولو په اړهتفصیلات

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (30)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 10.15 MB

0 / 0

english, 2008

2

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 24.22 MB

0 / 0

english, 2008

3

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Pierpaolo Degano (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 3.64 MB

0 / 0

english, 2003

4

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 18.25 MB

0 / 0

english, 2012

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

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Pierpaolo Degano, Roberto Gorrieri

کال:

2009

ژبه:

english

فایل:

PDF, 6.64 MB

0 / 0

english, 2009

7

Programming Languages with Applications to Biology and Security

Programming Languages with Applications to Biology and Security

Imprint: Springer, Springer International Publishing

Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Priami, Corrado

کال:

2015

ژبه:

english

فایل:

EPUB, 6.61 MB

0 / 0

english, 2015

8

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 5.38 MB

0 / 5.0

english, 2012

9

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

10

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 2.86 MB

0 / 0

english, 2011

11

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 3.48 MB

0 / 0

english, 2010

12

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 3.11 MB

0 / 0

english, 2010

13

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 5.37 MB

0 / 0

english, 2009

14

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 23.45 MB

0 / 4.0

english, 2008

15

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 11.98 MB

0 / 0

english, 2008

16

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 22.42 MB

0 / 0

english, 2012

17

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

18

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 4.72 MB

0 / 0

english, 2012

19

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

کال:

1982

ژبه:

english

فایل:

DJVU, 3.78 MB

0 / 0

english, 1982

20

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 3.05 MB

0 / 0

english, 2010

21

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Pierpaolo Degano, Luca Viganò

کال:

2009

ژبه:

english

فایل:

PDF, 3.16 MB

0 / 0

english, 2009

22

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 2.60 MB

0 / 0

english, 2009

23

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 2.82 MB

0 / 0

english, 2011

24

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 2.66 MB

0 / 0

english, 2009

25

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Pierpaolo Degano (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 24.06 MB

0 / 0

english, 2003

26

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 3.91 MB

0 / 0

english, 2009

27

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

28

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 26.73 MB

0 / 0

english, 2008

29

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 3.77 MB

0 / 0

english, 2009

30

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

کال:

1982

ژبه:

english

فایل:

PDF, 9.68 MB

0 / 0

english, 1982