Zum Inhalt springen

  3. Degano, Pierpaolo [HerausgeberIn]; Gorrieri, Roberto [Sonstige Person, Familie und Körperschaft] ; CMSB 7 2009 Bologna

    Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5688

  4. Degano, Pierpaolo [HerausgeberIn]; Viganò, Luca [Sonstige Person, Familie und Körperschaft] ; Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 2009 York

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5511

  5. Degano, Pierpaolo [HerausgeberIn]; Sandewall, Erik [HerausgeberIn] ; Association for Computing Machinery Italian Chapter, European Conference on Integrated Interactive Computing Systems 1982 Stresa

    Integrated interactive computing systems : proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1 - 3 September, 1982

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland Publ. Co., 1983

  6. Degano, Pierpaolo [HerausgeberIn]; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft] ; FAST 6 2009 Eindhoven

    Formal aspects in security and trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 5983

  7. Degano, Pierpaolo [HerausgeberIn]; Guttman, Joshua [Sonstige Person, Familie und Körperschaft]; Martinelli, Fabio [Sonstige Person, Familie und Körperschaft] ; FAST 5 2008 Málaga

    Formal aspects in security and trust : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5491

  8. Degano, Pierpaolo [HerausgeberIn]; Etalle, Sandro [Sonstige Person, Familie und Körperschaft]; Guttman, Joshua [Sonstige Person, Familie und Körperschaft] ; FAST 7 2010 Pisa

    Formal aspects of security and trust : 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6561

  9. Bernardo, Marco [HerausgeberIn]; Degano, Pierpaolo [Sonstige Person, Familie und Körperschaft]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 8 2008 Bertinoro

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5016

  10. Degano, Pierpaolo [HerausgeberIn]; Montanari, Ugo [GefeierteR]; De Nicola, Rocco [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]

    Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5065

  11. Degano, Pierpaolo [VerfasserIn] ; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5983

  12. Degano, Pierpaolo [VerfasserIn] ; Etalle, Sandro [HerausgeberIn]; Guttman, Joshua [HerausgeberIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6561

  13. Degano, Pierpaolo [VerfasserIn] ; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7215

  14. Degano, Pierpaolo [VerfasserIn] ; Gorrieri, Roberto [Sonstige Person, Familie und Körperschaft]

    Computational Methods in Systems Biology : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5688

  15. Degano, Pierpaolo [VerfasserIn] ; Viganò, Luca [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5511

  16. Degano, Pierpaolo [VerfasserIn]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2618

  17. Degano, Pierpaolo [VerfasserIn] ; Gorrieri, Roberto [Sonstige Person, Familie und Körperschaft]; Marchetti-Spaccamela, Alberto [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1256

  18. Degano, Pierpaolo [HerausgeberIn]; Zunino, Roberto [HerausgeberIn] ; ITASEC 3. 2019 Pisa

    ITASEC19 : proceedings of the Third Italian Conference on Cybersecurity Scientific and technical track : Pisa, 13-15 February 2019

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2019]

    Erschienen in: CEUR workshop proceedings ; 231500

  19. Degano, Pierpaolo [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Nicola, Rocco [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5065

  20. Bernardo, Marco [Sonstige Person, Familie und Körperschaft]; Degano, Pierpaolo [Sonstige Person, Familie und Körperschaft]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5016