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

  5. Hagiya, Masami [Sonstige Person, Familie und Körperschaft] ; TACS 2 1994 Sendai

    Theoretical aspects of computer software : international symposium, TACS '94, Sendai, Japan, April 19 - 22, 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 ; 78900

  6. Itō, Takayasū [Sonstige Person, Familie und Körperschaft] ; TACS 1 1991 Sendai

    Theoretical aspects of computer software : International Conference TACS '91, Sendai, Japan, September 24 - 27, 1991 ; 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, 1991 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 52600