Skip to contents

Kam, Timothy [Other]

Synthesis of finite state machines : functional optimization

Close

Bookmarks

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

Boston, Mass.; London [u.a.]: Kluwer Academic, c1997
Böckenhauer, Hans-Joachim [Author]; Hromkovič, Juraj [Author]

Formale Sprachen : endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Close

Bookmarks

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

Wiesbaden: Springer Vieweg, 2013

Published in: Lehrbuch
Chatterjee, Krishnendu [Editor]; Henzinger, Thomas A. [Other] ; FORMATS 8 2010 Klosterneuburg

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6246
Leucker, Martin [Author]

Logics for Mazurkiewicz traces

Close

Bookmarks

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

Aachen: RWTH, Department of Computer Science, 2002

Published in: Aachener Informatik-Berichte ; 2002,10
Kinber, Efim B. [Author]; Kinber, Efim [Author]; Smith, Carl H. [Author] ; Smith, Carl [Other]

Theory of computing : a gentle introduction

Close

Bookmarks

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

Upper Saddle River, N.J.: Prentice Hall, 2001
Kozen, Dexter [Author]

Automata and computability - [Corr. 3 print.]

Close

Bookmarks

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

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

Published in: Undergraduate texts in computer science
Kozen, Dexter [Author]

Automata and computability

Close

Bookmarks

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

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

Published in: Undergraduate texts in computer science
Thomas, Wolfgang [Author]

Languages, automata, and logic

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9607
Straubing, Howard [Author]

Finite automata, formal logic, and circuit complexity

Close

Bookmarks

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

Boston, Mass. [u.a.]: Birkhäuser, 1994

Published in: Progress in theoretical computer science ; 11
Muscholl, Anca [Author]

Über die Erkennbarkeit unendlicher Spuren

Close

Bookmarks

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

1994
Epstein, David B. A. [Other]

Word processing in groups

Close

Bookmarks

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

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

Published in: Jones and Bartlett books in mathematics
Hartmanis, Juris [Author]; Stearns, R. E. [Author]

Algebraic structure theory of sequential machines

Close

Bookmarks

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

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

Published in: Prentice-Hall series in automatic computation- Prentice-Hall international series in applied mathematics
Puppis, Gabriele [Author]

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5955
Hotz, Günter [Author]; Estenfeld, Klaus [Author]

Formale Sprachen : eine automatentheoretische Einführung

Close

Bookmarks

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

Mannheim [u.a.]: Bibliographisches Institut, 1981

Published in: Reihe Informatik ; 35
Herschel, Rudolf [Author]

Einführung in die Theorie der Automaten, Sprachen und Algorithmen

Close

Bookmarks

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

München; Wien: Oldenbourg, 1974
Duckhorn, Frank [Author]

Suchraumoptimierung mit gewichteten endlichen Automaten in der akustischen Mustererkennung

Close

Bookmarks

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

Dresden: TUDpress, Verl. der Wiss., 2014

Published in: Studientexte zur Sprachkommunikation ; 73
Hofmann, Martin [Author]; Lange, Martin [Author]

Automatentheorie und Logik

Close

Bookmarks

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

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

Published in: eXamen.press
Penczek, Wojciech [Author]; Półrola, Agata [Author]

Advances in verification of time Petri nets and timed automata : a temporal logic approach

Close

Bookmarks

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

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

Published in: Studies in computational intelligence ; 20
Yli-Jyrä, Anssi [Editor]; Kattunen, Lauri [Other]; Karhumäki, Juhani [Other] ; 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

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4002
Peeva, Ketty [Author]; Kyosev, Yordan [Author]

Fuzzy relational calculus : theory, applications and software (with CD-ROM)

Close

Bookmarks

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

New Jersey [u.a.]: World Scientific, 2004

Published in: Advances in fuzzy systems ; 22

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