Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Sprache 23 Treffer
- Komplexitätstheorie 7 Treffer
- Automat 6 Treffer
- Endlicher Automat 5 Treffer
- Berechenbarkeit 4 Treffer
-
39 weitere Werte:
- Programmiersprache 3 Treffer
- Theoretische Informatik 3 Treffer
- Algorithmus 2 Treffer
- Datenverarbeitung 2 Treffer
- Fairness (Informatik) 2 Treffer
- Fuzzy-Logik 2 Treffer
- Halbgruppe 2 Treffer
- Schaltwerk 2 Treffer
- Sprache 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
- Computer 1 Treffer
- Funktor 1 Treffer
- Fuzzy-Logik / Automatentheorie 1 Treffer
- Graphentheorie 1 Treffer
- Group theory 1 Treffer
- Gruppentheorie 1 Treffer
- Halbring 1 Treffer
- Informatik 1 Treffer
- Kategorientheorie 1 Treffer
- Kellerautomat 1 Treffer
- Kombinatorik 1 Treffer
- Linearer Automat 1 Treffer
- Machine theory 1 Treffer
- Mathematische Logik 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
- Theorie 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
- Hopcroft, John E. (1939-) 8 Treffer
- Ullman, Jeffrey D. (1942-) 8 Treffer
- Hackl, Clemens 2 Treffer
- Herschel, Rudolf 2 Treffer
- Pin, Jean Éric 2 Treffer
-
45 weitere Werte:
- 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
- Aleksander, Igor 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
- Barzdin', Jan Martynovič 1 Treffer
- Bavel, Zamir 1 Treffer
- Bochmann, Dieter 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
- Codd, Edgar F. (1923-2003) 1 Treffer
- Denning, Peter J. (1942-) 1 Treffer
- Dennis, Jack B. 1 Treffer
- Deussen, Peter 1 Treffer
- Estenfeld, Klaus 1 Treffer
- Ginsburg, Seymour (1928-2004) 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
- Kuich, Werner 1 Treffer
- Kurshan, Robert P. 1 Treffer
- Lallement, Gerard 1 Treffer
- Lee, Samuel C. 1 Treffer
- Lewis, Harry R. 1 Treffer
- Mac Lane, Saunders (1909-2005) 1 Treffer
- Maurer, Hermann 1 Treffer
- Motwani, Rajeev (1962-2009) 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Perrin, Dominique (1946-) 1 Treffer
- Qualitz, Joseph E. 1 Treffer
- Reusch, Bernd 1 Treffer
- Soittola, Matti (1945-) 1 Treffer
- Starke, Peter H. (1937-) 1 Treffer
53 Treffer
-
Berlin [u.a.]: Springer, 1971Monographie, Gedruckte RessourceZugriff:
-
3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1992Monographie, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1995Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
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:
-
New York [u.a.]: Wiley, 1967Monographie, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1988) ; New York, NY: American Elsevier (1988) ; Edinburgh: Edinburgh Univ. Press (1988) ; Berlin ; Heidelberg [u.a.]: Springer (1988), 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J.: Prentice-Hall, 1978Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1973Monographie, Gedruckte RessourceZugriff:
-
New York: Plenum Publ. Corp, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: de Gruyter, 1972Einführung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliogr. Inst, 1984Monographie, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Pr, 1991Monographie, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1987) ; New York, NY: American Elsevier (1987) ; Edinburgh: Edinburgh Univ. Press (1987) ; Berlin ; Heidelberg [u.a.]: Springer (1987), 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1979), 1989; 1979Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1979Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1975Monographie, Gedruckte RessourceZugriff: