Zum Inhalt springen

  4. Montanari, Ugo [HerausgeberIn]; Sannella, Donald [Sonstige Person, Familie und Körperschaft]; Bruni, Roberto [Sonstige Person, Familie und Körperschaft] ; TGC 2 2006 Lucca

    Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4661

  5. Sannella, Donald [Sonstige Person, Familie und Körperschaft] ; ESOP 5 1994 Edinburgh

    Programming languages and systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994 ; 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 [u.a.]: Springer, 1994 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 78800

  6. Sannella, Donald [Sonstige Person, Familie und Körperschaft] ; Workshop on Specification of Abstract Data Types 5 1987 Gullane

    Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1 - 4, 1987 ; 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 [u.a.]: Springer, 1988 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 33200

  7. Sannella, Donald [VerfasserIn]

    Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. 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, 1994

    Erschienen in: Lecture notes in computer science ; 788

  8. Sannella, Donald [VerfasserIn] ; Tarlecki, Andrzej [Sonstige Person, Familie und Körperschaft]

    Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. 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, 1988

    Erschienen in: Lecture notes in computer science ; 332

  9. Lindley, Sam [HerausgeberIn]; McBride, Conor [HerausgeberIn]; Trinder, Phil [HerausgeberIn]; Sannella, Donald [HerausgeberIn]

    A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th 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.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9600

  10. Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Bruni, Roberto [Sonstige Person, Familie und Körperschaft]; Sannella, Donald T. [Sonstige Person, Familie und Körperschaft]

    Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, 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, 2007

    Erschienen in: Lecture notes in computer science ; 4661

  11. Diaz, Josep [VerfasserIn] ; Karhumäki, Juhani [Sonstige Person, Familie und Körperschaft]; Lepistö, Arto [Sonstige Person, Familie und Körperschaft]; Sannella, Donald [Sonstige Person, Familie und Körperschaft]

    Automata, Languages and Programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, 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, 2004

    Erschienen in: Lecture notes in computer science ; 3142

  12. Díaz, Josep [VerfasserIn] ; Karhumäki, Juhani [Sonstige Person, Familie und Körperschaft]; Lepistö, Arto [Sonstige Person, Familie und Körperschaft]; Sannella, Donald [Sonstige Person, Familie und Körperschaft]

    Automata, Languages and Programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. 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, 2004

    Erschienen in: Lecture notes in computer science ; 314200

  13. Italiano, Giuseppe F. [HerausgeberIn]; Pighizzini, Giovanni [HerausgeberIn]; Sannella, Donald T. [HerausgeberIn]

    Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I - [1st ed. 2015]

    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, 2015

    Erschienen in: Lecture notes in computer science ; 9234

  14. Italiano, Giuseppe F. [HerausgeberIn]; Pighizzini, Giovanni [HerausgeberIn]; Sannella, Donald T. [HerausgeberIn]

    Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II - [1st ed. 2015]

    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, 2015

    Erschienen in: Lecture notes in computer science ; 9235

  15. Bidoit, Michel [VerfasserIn] ; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Lescanne, Pierre [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Sannella, Donald [Sonstige Person, Familie und Körperschaft]

    Algebraic System Specification and Development : A Survey and Annotated Bibliography

    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, 1991

    Erschienen in: Lecture notes in computer science ; 501

  16. Chatzigiannakis, Ioannis [VerfasserIn]; Kaklamanis, Christos [VerfasserIn]; Marx, Dániel [VerfasserIn]; Sannella, Donald [VerfasserIn] ; Ioannis Chatzigiannakis and Christos Kaklamanis and Dániel Marx and Donald Sannella [MitwirkendeR]

    Front Matter, Table of Contents, Preface, Conference Organization

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  17. Chatzigiannakis, Ioannis [VerfasserIn]; Kaklamanis, Christos [VerfasserIn]; Marx, Dániel [VerfasserIn]; Sannella, Donald [VerfasserIn] ; Ioannis Chatzigiannakis and Christos Kaklamanis and Dániel Marx and Donald Sannella [MitwirkendeR]

    LIPIcs, Volume 107, ICALP'18, Complete Volume

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  18. Sannella, Donald

    Preface

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Elsevier BV, 2006

    Erschienen in: Theoretical Computer Science

  19. Sannella, Donald

    Recent Trends in Algebraic Development Techniques: The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

    Aufsätze
    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.

    Springer Berlin Heidelberg, 2002

    Erschienen in: Recent Trends in Algebraic Development Techniques