Zum Inhalt springen

  1. Hartmanis, Juris [Verfasser:in]; Stearns, R. E. [Verfasser:in]

    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

  2. Palanque, Philippe [Herausgeber:in]; Paternò, Fabio [Sonstige Person, Familie und Körperschaft]

    Formal methods in human-computer interaction

    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.

    London; Heidelberg [u.a.]: Springer, 1998

    Erschienen in: Formal approaches to computing and information technology - FACIT

  3. Lassaigne, Richard [Verfasser:in]; Rougemont, Michel de [Verfasser:in]

    Logic and complexity

    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.

    London; Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Discrete mathematics and theoretical computer science