Releases by Pierpaolo Degano

In stock at iMusic Show unavailable items

Cover for Pierpaolo Degano · Principles of Security and Trust: First International Conference, Post 2012, Held As Part of the European Joint Conference on Theory and Practice of Software, Etaps 2012, Tallinn, Estonia, March 24 - April 1 2012, Proceedings - Lecture Notes in Computer S (Paperback Book) (2012)

Principles of Security and Trust... (2012)

Pierpaolo Degano

Cover for Pierpaolo Degano · Formal Aspects of Security and Trust: 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Formal Aspects of Security and T... (2011)

Pierpaolo Degano

Cover for Pierpaolo Degano · Formal Aspects in Security and Trust: 6th International Workshop, Fast 2009, Eindhoven, the Netherlands, November 5-6, 2009, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2010)

Formal Aspects in Security and T... (2010)

Pierpaolo Degano

Cover for Pierpaolo Degano · 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 - Lecture Notes in Computer (Paperback Book) (2009)

Foundations and Applications of ... (2009)

Pierpaolo Degano

Cover for Pierpaolo Degano · Computational Methods in Systems Biology: 7th International Conference, Cmsb 2009 - Lecture Notes in Computer Science / Lecture Notes in Bioinformatics (Paperback Book) (2009)

Computational Methods in Systems... (2009)

Pierpaolo Degano

Cover for Pierpaolo Degano · Formal Aspects in Security and Trust: 5th International Workshop, Fast 2008, Malaga, Spain, October 2008, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2009)

Formal Aspects in Security and T... (2009)

Pierpaolo Degano

Cover for Pierpaolo Degano · Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Concurrency, Graphs and Models: ... (2008)

Pierpaolo Degano

Cover for Pierpaolo Degano · 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 - Lecture Notes in Computer (Paperback Book) [2003 edition] (2003)

Programming Languages and System... (2003)

Pierpaolo Degano