Zum Inhalt springen

Borchardt, Björn [VerfasserIn]

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

Schließen

Merkliste

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

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

Erschienen in: Akademische Abhandlungen zur Informatik
Thomas, Wolfgang [VerfasserIn]

Languages, automata, and logic

Schließen

Merkliste

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

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

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9607
Matz, O. [Sonstige Person, Familie und Körperschaft]

Report on the program AMoRE

Schließen

Merkliste

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

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

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9507
Böhling, Karl Heinz [VerfasserIn]; Dittrich, Gisbert [VerfasserIn]

Endliche stochastische Automaten

Schließen

Merkliste

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

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

Erschienen in: BI-Hochschultaschenbücher ; 766
Kobrinskij, Natan Efimovič [VerfasserIn] ; Trachtenbrot, Boris Avraamovič [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

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

Berlin: Akad.-Verl., 1967

Erschienen in: Elektronisches Rechnen und Regeln / Sonderband ; 5
Leucker, Martin [VerfasserIn]

Logics for Mazurkiewicz traces

Schließen

Merkliste

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

Aachen: RWTH, Department of Computer Science, 2002

Erschienen in: Aachener Informatik-Berichte ; 2002,10
Prinoth, Rainer [VerfasserIn]

Räumliche Verteilung von Automaten

Schließen

Merkliste

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

Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996

Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 281
Büchi, Julius Richard [VerfasserIn] ; Siefkes, Dirk [Sonstige Person, Familie und Körperschaft]

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

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, c 1989
Gruber, Hermann [VerfasserIn]

On the descriptional and algorithmic complexity of regular languages

Schließen

Merkliste

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

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

Weighted branching automata : combining concurrency and weights

Schließen

Merkliste

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

2004
Khoussainov, Bakhadyr [VerfasserIn]; Nerode, Anil [VerfasserIn]

Automata theory and its applications

Schließen

Merkliste

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

Boston; Basel; Berlin: Birkhäuser, 2001

Erschienen in: Progress in computer science and applied logic ; 21
Wennekers, Thomas [VerfasserIn]

Synfire graphs: from spike patterns to automata of spiking neurons

Schließen

Merkliste

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

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

Erschienen in: Ulmer Informatik-Berichte ; 98,08
Kam, Timothy [Sonstige Person, Familie und Körperschaft]

Synthesis of finite state machines : functional optimization

Schließen

Merkliste

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

Boston, Mass.; London [u.a.]: Kluwer Academic, c1997
Franke, Dieter [VerfasserIn]

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

Schließen

Merkliste

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

Braunschweig; Wiesbaden: Vieweg, 1994

Erschienen in: Studium Technik
Kohavi, Zvi [VerfasserIn]

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

Schließen

Merkliste

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

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

Erschienen in: McGraw-Hill computer science series
Böhling, Karl Heinz [Sonstige Person, Familie und Körperschaft]; Indermark, Klaus [Sonstige Person, Familie und Körperschaft]; Schütt, Dieter [Sonstige Person, Familie und Körperschaft]

Endliche Automaten

Schließen

Merkliste

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

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

Erschienen in: B.I.-Hochschultaschenbücher ; . ; B.I.-Hochschulskripten
Duckhorn, Frank [VerfasserIn]

Suchraumoptimierung mit gewichteten endlichen Automaten in der akustischen Mustererkennung

Schließen

Merkliste

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

Dresden: TUDpress, Verl. der Wiss., 2014

Erschienen in: Studientexte zur Sprachkommunikation ; 73
Tao, Renji [VerfasserIn]

Finite automata and application to cryptography

Schließen

Merkliste

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

Beijing [u.a.]: Tsinghua Univ. Pr. [u.a.], 2008 ; Berlin; Heidelberg [u.a.]: Springer, 2008
Preusse, Christian [VerfasserIn]

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

Schließen

Merkliste

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

Düsseldorf: VDI-Verl., 2005

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 105800
Kozen, Dexter [VerfasserIn]

Automata and computability - [Corr. 3 print.]

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr