Zum Inhalt springen

  1. Jȩdrzejowicz, Joanna [Herausgeber:in]; Szepietowski, Andrzej [Sonstige Person, Familie und Körperschaft] ; MFCS 30 2005 Danzig

    Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 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 [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3618

  4. Larsen, Kim G. [Sonstige Person, Familie und Körperschaft]; Larsen, Kim Guldstrand [Herausgeber:in] ; ICALP 25 1998 Ålborg

    Automata, languages and programming : 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998 ; 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, 1998

    Erschienen in: Lecture notes in computer science ; 1443

  7. Hankin, Chris [Herausgeber:in] ; Imperial College of Science, Technology and Medicine Theory and Formal Methods Section, Theory and Formal Methods Workshop 2 1994 Cambridge

    Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop; [held in Cambridge on 11. - 14. September 1994]

    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.

    [London]: Imperial College Press [u.a.], 1995

  16. Diekert, Volker [Herausgeber:in]; Nowotka, Dirk [Sonstige Person, Familie und Körperschaft]; Nowotka, Dirk [Herausgeber:in] ; DLT 13 2009 Stuttgart

    Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 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 ; 5583

  17. Gao, Yuan [Herausgeber:in]; Lu, Hanlin [Sonstige Person, Familie und Körperschaft]; Seki, Shinnosuke [Sonstige Person, Familie und Körperschaft]; Yu, Sheng [Sonstige Person, Familie und Körperschaft] ; DLT 14 2010 London, Ontario

    Developments in language theory : 14th international conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6224

  18. Mauri, Giancarlo [Herausgeber:in]; Leporati, Alberto [Sonstige Person, Familie und Körperschaft] ; DLT 15 2011 Mailand

    Developments in language theory : 15th international conference, DLT 2011, Milano, Italy, July 19-22, 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 ; 6795

  19. De Alfaro, Luca [Herausgeber:in] ; FOSSACS 12 2009 York, ETAPS 12 2009 York

    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 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 ; 5504

  20. Lee, Der-Tsai [Herausgeber:in]; Chen, Danny Z. [Sonstige Person, Familie und Körperschaft]; Ying, Shi [Sonstige Person, Familie und Körperschaft] ; FAW 4 2010 Wuhan

    Frontiers in algorithmics : 4th international workshop, FAW 2010, Wuhan, China, August 11-13, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6213