Zum Inhalt springen

  2. Arbib, Michael A. [VerfasserIn]

    Theories of abstract automata

    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, NJ: Prentice-Hall, 1969

    Erschienen in: Prentice-Hall series in automatic computation

  5. Starke, Peter H. [VerfasserIn]

    Abstrakte Automaten

    Bücher
    Schließen

    Merkliste

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

    Berlin: Dt. Verl. der Wiss., 1969

  8. Ijspeert, Auke Jan [HerausgeberIn]; Murata, Masayuki [Sonstige Person, Familie und Körperschaft]; Wakamiya, Naoki [Sonstige Person, Familie und Körperschaft] ; BioADIT 1 2004 Lausanne

    Biologically inspired approaches to advanced information technology : first international workshop, BioADIT 2004, Lausanne, Switzerland, January 29 - 30, 2004 ; revised selected 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, 2004

    Erschienen in: Lecture notes in computer science ; 3141

  16. Schönherr, Jens [VerfasserIn]

    Untersuchung von Verfahren zum Nachweis der Ein- Ausgabeäquivalenz zweier endlicher, deterministischer, abstrakter Automaten mit binären Ein- und Ausgängen

    Bücher
    Schließen

    Merkliste

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

    Dresden [u.a.]: Techn. Univ., 1996

    Erschienen in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 96,3