Zum Inhalt springen

  1. Tinelli, Cesare [Herausgeber:in]; Sofronie-Stokkermans, Viorica [Sonstige Person, Familie und Körperschaft] ; FroCoS 8 2011 Saarbrücken

    Frontiers of combining systems : 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6989

  2. Ghilardi, Silvio [Herausgeber:in]; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft] ; FroCoS 7 2009 Trient

    Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5749

  3. 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

  7. Baader, Franz [Herausgeber:in]; Schulz, Klaus [Sonstige Person, Familie und Körperschaft] ; Gesellschaft von Freunden und Förderern der Universität München, Deutsche Forschungsgemeinschaft, Centrum für Informations- und Sprachverarbeitung München, International Workshop Frontiers of Combining Systems 1 1996 München

    Frontiers of combining systems : first international workshop, Munich, March 1996

    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.

    Dordrecht [u.a.]: Kluwer Academic, 1996

    Erschienen in: Applied logic series ; 3