Pierpaolo Degano – författare
Visar alla böcker från författaren Pierpaolo Degano.
11 produkter
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
Häftad, 2003
739 kr
Lägg i varukorg
Automata, Languages and Programming
24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Av Pierpaolo Degano, Roberto Gorrieri m. fl.
Häftad, 1997
1469 kr
Lägg i varukorg
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Pierpaolo Degano, Rocco de Nicola m. fl.
Häftad, 2008
1469 kr
Lägg i varukorg
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
Av Marco Bernardo, Pierpaolo Degano m. fl.
Häftad, 2008
739 kr
Lägg i varukorg
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman m. fl.
Häftad, 2009
739 kr
Lägg i varukorg
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
Av Pierpaolo Degano, Luca Viganò
Häftad, 2009
739 kr
Lägg i varukorg
Computational Methods in Systems Biology
7th International Conference, CMSB 2009
Av Pierpaolo Degano, Roberto Gorrieri
Häftad, 2009
1429 kr
Lägg i varukorg
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2010
739 kr
Lägg i varukorg
Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Av Pierpaolo Degano, Sandro Etalle m. fl.
Häftad, 2011
739 kr
Lägg i varukorg
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
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2012
739 kr
Lägg i varukorg
THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 6TH ITALIAN CONFERENCE
Av DEGANO PIERPAOLO, Pierpaolo Degano m. fl.
Inbunden, 1998
2989 kr
Tillfälligt slut