Zum Inhalt springen

  4. Dawar, Anuj [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft] ; CSL 24 2010 Brünn

    Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; 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; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6247

  11. Marcinkowski, Jerzy [HerausgeberIn] ; European Association for Computer Science Logic, CSL 18 2004 Karpacz

    Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; 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; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3210

  13. Bradfield, Julian [HerausgeberIn] ; European Association for Computer Science Logic, CSL 16 2002 Edinburgh

    Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; 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; Heidelberg [u.a.]: Springer, 2002

    Erschienen in: Lecture notes in computer science ; 2471

  14. Strong, Gary E. [Sonstige Person, Familie und Körperschaft] ; California State Library Sacramento, Calif

    Western Americana in the California State Library

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Sacramento, Calif.: California State Library Foundation, 1985

  15. Kurutz, Gary F [Sonstige Person, Familie und Körperschaft] ; California State Library Sacramento, Calif

    Fifty treasures of the California State Library

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Sacramento: The Library, 1980

  16. Schweizerische Milchkommission

    Die schweizerische Milchwirtschaft

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Thun: Verl.-Aktienges., 1948

  17. Baaz, Matthias [HerausgeberIn]; Makowsky, Johann M. [HerausgeberIn] ; European Association for Computer Science Logic, International Workshop CSL 17 2003 Wien, Kurt Gödel Colloquium 8 2003 Wien

    Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003 ; 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; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2803

  18. Kaminski, Michael [HerausgeberIn]; Martini, Simone [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 22 2008 Bertinoro

    Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008; 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; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5213

  19. Duparc, Jacques [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

    Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; 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; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4646