Zum Inhalt springen

  1. MacCaull, Wendy [HerausgeberIn]; Winter, Michael [Sonstige Person, Familie und Körperschaft]; Düntsch, Ivo [Sonstige Person, Familie und Körperschaft] ; International Seminar on Relational Methods in Computer Science 8 2005 Saint Catharines, International Workshop on Applications of Kleene Algebra 3 2005 Saint Catharines, Workshop of COST Action 274 TARSKI 2005 Saint Catharines

    Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised 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, 2006

    Erschienen in: Lecture notes in computer science ; 3929

  2. De Swart, Harrie [HerausgeberIn] ; RelMiCS 6 2001 Oisterwijk, Workshop of COST Action 274 TARSKI 1 2001 Oisterwijk

    Relational methods in computer science : 6th international conference, RelMICS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16 - 21, 2001 ; revised 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, 2002

    Erschienen in: Lecture notes in computer science ; 2561