Zum Inhalt springen

  1. Diekert, Volker [Herausgeber:in]; Habib, Michel [Sonstige Person, Familie und Körperschaft] ; STACS 21 2004 Montpellier

    STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25 - 27, 2004; proceedings

    Bücher
    Online ansehen
    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 ; 2996

  2. Diekert, Volker [Herausgeber:in]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]

    The book of traces

    Bücher
    Schließen

    Merkliste

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

    Singapore [u.a.]: World Scientific, 1995

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

    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

  4. Weiß, Armin [Verfasser:in] ; Diekert, Volker [Akademische:r Betreuer:in]

    Circuit complexity of group theoretic problems : kumulative Habilitationsschrift

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Stuttgart, [2021?]

  5. Diekert, Volker [Verfasser:in] ; Weicker, Karsten [Sonstige Person, Familie und Körperschaft]; Weicker, Nicole [Sonstige Person, Familie und Körperschaft]

    Informatik als Dialog zwischen Theorie und Anwendung

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Wiesbaden: Vieweg+Teubner Verlag / GWV Fachverlage GmbH, Wiesbaden, 2009

    Erschienen in: SpringerLink ; Bücher

  6. Diekert, Volker [Verfasser:in] ; Habib, Michel [Sonstige Person, Familie und Körperschaft]

    STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings

    Bücher
    Online ansehen
    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, 2004

    Erschienen in: Lecture notes in computer science ; 2996

  7. Diekert, Volker [Verfasser:in] ; Habib, Michel [Sonstige Person, Familie und Körperschaft]

    STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 299600

  8. Diekert, Volker [Herausgeber:in]; Volkov, Mikhail [Herausgeber:in]

    Developments in Language Theory : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13257

  9. Diekert, Volker [Sonstige Person, Familie und Körperschaft]; Durand, Bruno [Sonstige Person, Familie und Körperschaft]

    STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings

    Bücher
    Online ansehen
    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 ; 3404

  10. Diekert, Volker [Verfasser:in]; Kopecki, Steffen [Verfasser:in]

    Complexity results and the growths of hairpin completions of regular languages

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2010,4

  11. Diekert, Volker [Verfasser:in]; Kufleitner, Manfred [Verfasser:in]

    Fragments of first-order logic over infinite words

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2009,4