Zum Inhalt springen

  3. Chatterjee, Krishnendu [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; FORMATS 8 2010 Klosterneuburg

    Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 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 ; 6246

  5. Kinber, Efim B. [VerfasserIn]; Kinber, Efim [VerfasserIn]; Smith, Carl H. [VerfasserIn] ; Smith, Carl [Sonstige Person, Familie und Körperschaft]

    Theory of computing : a gentle introduction

    Bücher
    Schließen

    Merkliste

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

    Upper Saddle River, N.J.: Prentice Hall, 2001

  6. Kozen, Dexter [VerfasserIn]

    Automata and computability - [Corr. 3 print.]

    Bücher
    Schließen

    Merkliste

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

    New York; Berlin; Heidelberg [u.a.]: Springer, [1999]

    Erschienen in: Undergraduate texts in computer science

  7. Kozen, Dexter [VerfasserIn]

    Automata and computability

    Bücher
    Schließen

    Merkliste

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

    New York; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Undergraduate texts in computer science

  11. Epstein, David B. A. [Sonstige Person, Familie und Körperschaft]

    Word processing in groups

    Bücher
    Schließen

    Merkliste

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

    Boston [u.a.]: Jones and Bartlett Publishers, 1992

    Erschienen in: Jones and Bartlett books in mathematics

  12. Hartmanis, Juris [VerfasserIn]; Stearns, R. E. [VerfasserIn]

    Algebraic structure theory of sequential machines

    Bücher
    Schließen

    Merkliste

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

    Englewood Cliffs, N.J.: Prentice Hall, 1966

    Erschienen in: Prentice-Hall series in automatic computation- Prentice-Hall international series in applied mathematics

  17. Hofmann, Martin [VerfasserIn]; Lange, Martin [VerfasserIn]

    Automatentheorie und Logik

    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, 2011

    Erschienen in: eXamen.press

  19. Yli-Jyrä, Anssi [HerausgeberIn]; Kattunen, Lauri [Sonstige Person, Familie und Körperschaft]; Karhumäki, Juhani [Sonstige Person, Familie und Körperschaft] ; International Workshop on Finite State Methods on Natural Language Processing 5 2005 Helsinki

    Finite-state methods and natural language processing : 5th international workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005 ; revised papers

    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, 2006

    Erschienen in: Lecture notes in computer science ; 4002