Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Sprache 28 Treffer
- Komplexitätstheorie 8 Treffer
- Automat 7 Treffer
- Programmiersprache 6 Treffer
- Endlicher Automat 5 Treffer
-
43 weitere Werte:
- Theoretische Informatik 5 Treffer
- Berechenbarkeit 4 Treffer
- Datenverarbeitung 4 Treffer
- Sprache 4 Treffer
- Fuzzy-Logik 3 Treffer
- Algorithmus 2 Treffer
- Automat (Automatentheorie) 2 Treffer
- Computer 2 Treffer
- Fairness (Informatik) 2 Treffer
- Halbgruppe 2 Treffer
- Programmierung 2 Treffer
- Schaltwerk 2 Treffer
- Theorie 2 Treffer
- Abstrakter Automat 1 Treffer
- Algebra 1 Treffer
- Automat / Lineare Realisierung 1 Treffer
- Berechnungskomplexität 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Entscheidungsproblem 1 Treffer
- Funktor 1 Treffer
- Fuzzy-Logik / Automatentheorie 1 Treffer
- Fuzzy-Menge 1 Treffer
- Graphentheorie 1 Treffer
- Group theory 1 Treffer
- Gruppentheorie 1 Treffer
- Halbring 1 Treffer
- Kategorientheorie 1 Treffer
- Kellerautomat 1 Treffer
- Kombinatorik 1 Treffer
- Linearer Automat 1 Treffer
- Machine theory 1 Treffer
- Mathematische Logik 1 Treffer
- Mengenlehre 1 Treffer
- Modell 1 Treffer
- Nebenläufigkeit 1 Treffer
- Nervennetz 1 Treffer
- Parallelverarbeitung 1 Treffer
- Potenzreihe 1 Treffer
- Programm 1 Treffer
- Prozessalgebra 1 Treffer
- Sequenzielle Logik 1 Treffer
- Stochastischer Prozess 1 Treffer
- Verifikation 1 Treffer
Sprache
Person
- Hopcroft, John E. (1939-) 8 Treffer
- Ullman, Jeffrey D. (1942-) 8 Treffer
- Eilenberg, Samuel (1913-1998) 3 Treffer
- Tilson, Bret (-2005) 3 Treffer
- Hackl, Clemens 2 Treffer
-
45 weitere Werte:
- Herschel, Rudolf 2 Treffer
- Kuich, Werner 2 Treffer
- Pin, Jean Éric 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Sander, Peter 2 Treffer
- Shields, Michael William (1950-) 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
- Adámek, Jiří (1947-) 1 Treffer
- Ajzerman, Mark A. (1913-1992) 1 Treffer
- Aleksander, Igor 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
- Barzdin', Jan Martynovič 1 Treffer
- Bavel, Zamir 1 Treffer
- Bochmann, Dieter 1 Treffer
- Boldt, Oliver 1 Treffer
- Booth, Taylor L. (1933-) 1 Treffer
- Brauer, Wilfried 1 Treffer
- Braunmühl, Burchard von (1941-) 1 Treffer
- Brookshear, J. Glenn 1 Treffer
- Bucher, Walter 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Calude, Cristian (1952-) 1 Treffer
- Champarnaud, Jean-Marc 1 Treffer
- Codd, Edgar F. (1923-2003) 1 Treffer
- Dassow, Jürgen 1 Treffer
- Denning, Peter J. (1942-) 1 Treffer
- Dennis, Jack B. 1 Treffer
- Deussen, Peter 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Estenfeld, Klaus 1 Treffer
- Ginsburg, Seymour (1928-2004) 1 Treffer
- Gupta, Madan M. 1 Treffer
- Hanna, Frederick K. 1 Treffer
- Harrison, Michael A. 1 Treffer
- Herschel, Rudolf (1925-) 1 Treffer
- Holcombe, Mike (1944-) 1 Treffer
- Homuth, Horst H. (1940-2004) 1 Treffer
- Hotz, Günter (1931-) 1 Treffer
- Howie, John M. (1936-) 1 Treffer
- Kandel, Abraham 1 Treffer
- Kurshan, Robert P. 1 Treffer
- Lallement, Gerard 1 Treffer
- Leach Albert, Javier 1 Treffer
- Lee, Samuel C. 1 Treffer
- Lewis, Harry R. 1 Treffer
67 Treffer
-
Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquiumBerlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1975Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: de Gruyter, 1973Einführung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
New York [u.a.]: North-Holland, 1977Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliogr. Inst, 1981Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1971Monographie, Gedruckte RessourceZugriff:
-
Braunschweig: Vieweg, 1977Monographie, Einführung, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York: Wiley, 1979Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: de Gruyter, 1972Einführung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Academic Pr, 1969Monographie, Gedruckte RessourceZugriff:
-
Berlin: Dt. Verl. der Wiss, 1969Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1968Monographie, Gedruckte RessourceZugriff:
-
4., durchges. Aufl.. - München [u.a.]: Oldenbourg, 2000Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Neufaufl., 2., überarb. Aufl.. - München: Pearson Studium, 2002Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: