Skip to contents

Büchi, Julius Richard [Author] ; Siefkes, Dirk [Other]

Finite automata, their algebras, and grammars : towards a theory of formal expressions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin; Heidelberg [u.a.]: Springer, c 1989
Borchardt, Björn [Author]

The theory of recognizable tree series - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: VWF, Verl. für Wiss. und Forschung, 2005

Published in: Akademische Abhandlungen zur Informatik
Wegener, Ingo [Author]

Kompendium theoretische Informatik - eine Ideensammlung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Teubner, 1996

Published in: Leitfäden der Informatik
Matz, O. [Other]

Report on the program AMoRE

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9507
Kobrinskij, Natan Efimovič [Author] ; Trachtenbrot, Boris Avraamovič [Other]

Einführung in die Theorie endlicher Automaten : mit 66 Tab.

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Akad.-Verl., 1967

Published in: Elektronisches Rechnen und Regeln / Sonderband ; 5
Ajzerman, Mark A. [Other]; Herschel, Rudolf [Other]

Logik, Automaten, Algorithmen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Akademie-Verlag, 1967

Published in: Elektronisches Rechnen und Regeln / Sonderband ; 3
Böhling, Karl Heinz [Other]; Indermark, Klaus [Other]; Schütt, Dieter [Other]

Endliche Automaten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Wien; Zürich: Bibliogr. Inst., 19XX-

Published in: B.I.-Hochschultaschenbücher ; . ; B.I.-Hochschulskripten
Preusse, Christian [Author]

Analyse und Synthese von Automaten auf Basis der arithmetischen Modellierung - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 2005

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 105800
Khoussainov, Bakhadyr [Author]; Nerode, Anil [Author]

Automata theory and its applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Basel; Berlin: Birkhäuser, 2001

Published in: Progress in computer science and applied logic ; 21
Bollig, Benedikt [Author]

Automata and logics for message sequence charts

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Mainz, 2005

Published in: Aachener Informatik-Berichte ; 2005,10
Wennekers, Thomas [Author]

Synfire graphs: from spike patterns to automata of spiking neurons

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,08
Franke, Dieter [Author]

Sequentielle Systeme : binäre und Fuzzy-Automatisierung mit arithmetischen Polynomen ; mit 61 Abbildungen und 31 Tabellen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1994

Published in: Studium Technik
Sifakis, Joseph [Editor] ; Workshop on Automatic Verification Methods for Finite State Systems 1989 Grenoble

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12 - 14, 1989 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 407
Böhling, Karl Heinz [Author]; Dittrich, Gisbert [Author]

Endliche stochastische Automaten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Wien; Zürich: Bibliogr. Inst., 1972

Published in: BI-Hochschultaschenbücher ; 766
Tao, Renji [Author]

Finite automata and application to cryptography

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Beijing [u.a.]: Tsinghua Univ. Pr. [u.a.], 2008 ; Berlin; Heidelberg [u.a.]: Springer, 2008
Gruber, Hermann [Author]

On the descriptional and algorithmic complexity of regular languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Lichtenberg (Odw.): Harland Media, 2010
Meinecke, Ingmar [Author]

Weighted branching automata : combining concurrency and weights

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2004
Kelarev, Andrei V. [Author] ; Kelarev, Andrei [Other]

Graph algebras and automata

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Basel: Dekker, 2003

Published in: Pure and applied mathematics ; 257
Prinoth, Rainer [Author]

Räumliche Verteilung von Automaten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 281
Kohavi, Zvi [Author]

Switching and finite automata theory - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: McGraw-Hill, 1978

Published in: McGraw-Hill computer science series

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication