Zum Inhalt springen

  2. Abadi, Martín [Sonstige Person, Familie und Körperschaft]; Itō, Takayasu [Sonstige Person, Familie und Körperschaft] ; TACS 3 1997 Sendai

    Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23 - 26, 1997 ; 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 [u.a.]: Springer, 1997

    Erschienen in: Lecture notes in computer science ; 1281

  3. Abadi, Martín [VerfasserIn]; Cardelli, Luca [VerfasserIn]

    A theory of objects

    Bücher
    Schließen

    Merkliste

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

    New York; Berlin; Heidelberg: Springer, 1996

    Erschienen in: Monographs in computer science

  4. Abadi, Martín [VerfasserIn] ; Kremer, Steve [HerausgeberIn]

    Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, 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, 2014

    Erschienen in: Lecture notes in computer science ; 8414

  5. Abadi, Martín [VerfasserIn] ; Lluch Lafuente, Alberto [HerausgeberIn]

    Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, 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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8358

  7. Abadi, Martín [VerfasserIn] ; Itō, Takayasū [Sonstige Person, Familie und Körperschaft]

    Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 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 ; 1281

  8. Abadi, Martín [Sonstige Person, Familie und Körperschaft]; De Alfaro, Luca [Sonstige Person, Familie und Körperschaft]

    CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, 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, 2005

    Erschienen in: Lecture notes in computer science ; 3653

  11. Abadi, Martín

    Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics : A Timely Dataflow Model and the Naiad System : A Timely Dataflow Model and the Naiad System

    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.

    Open Publishing Association, 2013

    Erschienen in: Electronic Proceedings in Theoretical Computer Science