Pierpaolo Degano

Born 1950-01-01

Identifiers

Open LibraryOL3286934A

Top Subjects

Computer science (4)
Data protection (3)
Data encryption (Computer science) (3)
Information Systems (3)
Computer networks (3)
Computer programming (2)
Computer simulation (2)

Books by Pierpaolo Degano

Total count: 10

Programming Languages and Systems12th 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 London, Limited2003-01-01
Formal Methods for Computational Systems Biology8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7 2008

Springer London, Limited2008-01-01
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer London, Limited2008-01-01
Formal Aspects in Security and Trust5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Springer London, Limited2009-01-01
Computational Methods in Systems Biology7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer Berlin Heidelberg2009-01-01
Foundations and Applications of Security AnalysisJoint 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 London, Limited2009-01-01
Formal Aspects in Security and Trust6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg2010-01-01
Formal Aspects of Security and Trust7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer Berlin Heidelberg2011-01-01
Principles of Security and TrustFirst 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 Berlin Heidelberg2012-01-01
Principles of Security and TrustFirst International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... March 24 - April 1, 2012, Proceedings

Springer2012-03-14