Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 23 Treffer
- Formale Sprache 13 Treffer
- Endlicher Automat 5 Treffer
- Komplexitätstheorie 5 Treffer
- Theoretische Informatik 5 Treffer
-
42 weitere Werte:
- Automat 4 Treffer
- Stochastischer Automat 3 Treffer
- Theorie 3 Treffer
- Algorithmus 2 Treffer
- Berechenbarkeit 2 Treffer
- Fairness (Informatik) 2 Treffer
- Graph-Grammatik 2 Treffer
- Reduktionssystem 2 Treffer
- Schaltwerk 2 Treffer
- Sprache 2 Treffer
- Syntaktische Analyse 2 Treffer
- Abstrakter Automat 1 Treffer
- Abstrakter Datentyp 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Anwendung 1 Treffer
- Attributierte Grammatik 1 Treffer
- Attributierte Graph-Grammatik / Software Engineering 1 Treffer
- Attributierte Graph-Grammatik / Softwareentwicklung 1 Treffer
- Automat / Lineare Realisierung 1 Treffer
- Berechnungstheorie 1 Treffer
- Computer 1 Treffer
- Diskrete Mathematik 1 Treffer
- Geschichte 1971 1 Treffer
- Graphentheorie 1 Treffer
- Halbgruppe 1 Treffer
- Information 1 Treffer
- Kellerautomat 1 Treffer
- Kontextfreie Grammatik 1 Treffer
- Kontextfreie Sprache 1 Treffer
- Linearer Automat 1 Treffer
- Parallelverarbeitung 1 Treffer
- Petri-Netz 1 Treffer
- Polyzyklische Gruppe 1 Treffer
- Programmiersprache 1 Treffer
- Schaltsystem 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwareentwicklung / Graph-Grammatik 1 Treffer
- Syntax / Automatische Sprachanalyse 1 Treffer
- Systemtheorie 1 Treffer
- Termersetzungssystem 1 Treffer
- Zellularer Automat 1 Treffer
- Übersetzerbau 1 Treffer
Person
- Hopcroft, John E. (1939-) 5 Treffer
- Ullman, Jeffrey D. (1942-) 5 Treffer
- Bochmann, Dieter 2 Treffer
- Böhling, Karl Heinz (1930-) 2 Treffer
- Claus, Volker (1944-) 2 Treffer
-
45 weitere Werte:
- Hackl, Clemens 2 Treffer
- Herschel, Rudolf 2 Treffer
- Hotz, Günter (1931-) 2 Treffer
- Maurer, Hermann 2 Treffer
- Sander, Peter 2 Treffer
- Schöning, Uwe (1955-) 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
- Albert, Jürgen 1 Treffer
- Avenhaus, Jürgen (1941-) 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Braunmühl, Burchard von (1941-) 1 Treffer
- Bucharaev, Rais G. (1929-) 1 Treffer
- Bucher, Walter 1 Treffer
- Budach, Lothar 1 Treffer
- Cimander, Walter (1930-2022) 1 Treffer
- Dencker, Peter 1 Treffer
- Deussen, Peter 1 Treffer
- Dittrich, Gisbert 1 Treffer
- Doberkat, Ernst-Erich (1948-) 1 Treffer
- Ehrich, Hans-Dieter (1943-) 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Engeler, Erwin 1 Treffer
- Erwig, Martin (1963-) 1 Treffer
- Estenfeld, Klaus 1 Treffer
- Feichtinger, Gustav (1940-) 1 Treffer
- Foster, John M. 1 Treffer
- Gogolla, Martin (1954-) 1 Treffer
- Goltz, Ursula 1 Treffer
- Goos, Gerhard (1937-2020) 1 Treffer
- Gössel, Michael (1941-) 1 Treffer
- Göttler, Herbert 1 Treffer
- Güting, Ralf Hartmut (1955-) 1 Treffer
- Haubold, Karlheinz 1 Treffer
- Henke, Karsten 1 Treffer
- Herschel, Rudolf (1925-) 1 Treffer
- Hoehnke, Hans-Jürgen 1 Treffer
- Homuth, Horst H. (1940-2004) 1 Treffer
- Indermark, Klaus 1 Treffer
- Lipeck, Udo W. (1956-) 1 Treffer
- Läuchli, Peter 1 Treffer
- Mayer, Otto 1 Treffer
- Motwani, Rajeev (1962-2009) 1 Treffer
- Nagl, Manfred 1 Treffer
- Ottmann, Thomas (1943-) 1 Treffer
57 Treffer
-
Bonn [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1971Monographie, Gedruckte RessourceZugriff:
-
1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1. Aufl.. - Leipzig: Teubner, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1974Monographie, Einführung, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1994Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1986Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Akad.-Verl. [u.a.]Monographie, Schriftenreihe, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin: Dt. Verl. der Wiss, 1969Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
4., durchges. Aufl.. - München [u.a.]: Oldenbourg, 2000Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Weinheim [u.a.]: VCH, 1989Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1995Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1989Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliograph. Inst, 1970Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Vorlesungen über Informatik, 3. Berechenbarkeit, formale Sprachen, Spezifikationen : mit 15 TabellenBerlin [u.a.]: Springer, 1997Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1992Monographie, Gedruckte RessourceZugriff: