Zum Inhalt springen

  1. Konev, Boris [Herausgeber:in]; Wolter, Frank [Sonstige Person, Familie und Körperschaft] ; FroCoS 6 2007 Liverpool

    Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4720

  5. Konev, Boris [Sonstige Person, Familie und Körperschaft]; Wolter, Frank [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 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, 2007

    Erschienen in: Lecture notes in computer science ; 4720

  6. Gramlich, Bernhard [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 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 ; 3717

  7. Kirchner, Hélène [Verfasser:in] ; Ringeissen, Christophe [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 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, 2000

    Erschienen in: Lecture notes in computer science ; 1794

  8. Kirchner, Hélène [Verfasser:in] ; Ringeissen, Christophe [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. 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, 2000

    Erschienen in: Lecture notes in computer science ; 179400