Zum Inhalt springen

  1. Agha, Gul [Herausgeber:in]; Talcott, Carolyn L. [Gefeierte:r]; Danvy, Oilivier [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Talcott, Carolyn [Gefeierte:r]

    Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th 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 [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 7000

  4. Cámara, Javier [Verfasser:in] ; Lemos, Rogério [Sonstige Person, Familie und Körperschaft]; Ghezzi, Carlo [Sonstige Person, Familie und Körperschaft]; Lopes, Antónia [Sonstige Person, Familie und Körperschaft]

    Assurances for Self-Adaptive Systems : Principles, Models, and Techniques

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

    Erschienen in: Lecture notes in computer science ; 7740

  5. Agha, Gul [Verfasser:in] ; Danvy, Olivier [Herausgeber:in]; Meseguer, José [Herausgeber:in]

    Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th 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 Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 7000