MPG.eBooks - Author Search Results

Cover Image

1

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

by Degano, Pierpaolo
Published 1997

Springer Berlin Heidelberg

Cover Image

2

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...

by Degano, Pierpaolo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

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...

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

4

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...

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

5

Computational Methods in Systems Biology : 7th International Conference, CMSB 2009

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

6

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...

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

7

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

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

8

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

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

9

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, I...

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

10

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

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

11

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

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”

Cover Image

12

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Degano, Pierpaolo...”