Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 68 Treffer
- Formale Sprache 56 Treffer
- Theoretische Informatik 51 Treffer
- Reduktionssystem 23 Treffer
- Automat 15 Treffer
-
45 weitere Werte:
- Programmiersprache 14 Treffer
- Programmierung 13 Treffer
- Statische Analyse 12 Treffer
- Komplexitätstheorie 11 Treffer
- Natürliche Sprache 11 Treffer
- Endlicher Automat 10 Treffer
- Graph-Grammatik 10 Treffer
- Termersetzungssystem 10 Treffer
- Datenverarbeitung 9 Treffer
- Zellularer Automat 9 Treffer
- Softwareentwicklung 8 Treffer
- Syntaktische Analyse 8 Treffer
- Berechenbarkeit 7 Treffer
- Berechnungstheorie 7 Treffer
- Biocomputer 7 Treffer
- Sprachverarbeitung 7 Treffer
- Algebraische Spezifikation 6 Treffer
- Biomembran 6 Treffer
- Graphersetzungssystem 6 Treffer
- Informatik 6 Treffer
- Mathematische Logik 6 Treffer
- Programmanalyse 6 Treffer
- Attributierte Grammatik 5 Treffer
- Nebenläufigkeit 5 Treffer
- Parallelverarbeitung 5 Treffer
- Programmtransformation 5 Treffer
- Programmverifikation 5 Treffer
- Stochastischer Automat 5 Treffer
- Algebra 4 Treffer
- Algorithmus 4 Treffer
- Automat (Automatentheorie) 4 Treffer
- Bedingtes Termersetzungssystem 4 Treffer
- Compiler 4 Treffer
- Computational logic 4 Treffer
- Computerlinguistik 4 Treffer
- DNS 4 Treffer
- Datenfluss 4 Treffer
- Formale Methode 4 Treffer
- Kontextfreie Grammatik 4 Treffer
- Kontextfreie Sprache 4 Treffer
- Kontrollfluss 4 Treffer
- Lindenmayer-System 4 Treffer
- Logische Programmierung 4 Treffer
- Model Checking 4 Treffer
- Parser 4 Treffer
Sprache
Form
Person
- Ullman, Jeffrey D. (1942-) 11 Treffer
- Hopcroft, John E. (1939-) 8 Treffer
- Rozenberg, Grzegorz (1942-) 8 Treffer
- Salomaa, Arto (1934-) 6 Treffer
- Claus, Volker (1944-) 4 Treffer
-
45 weitere Werte:
- Hotz, Günter (1931-) 4 Treffer
- Aho, Alfred V. (1941-) 3 Treffer
- Bandini, Stefania 3 Treffer
- Berstel, Jean (1941-) 3 Treffer
- Calude, Cristian (1952-) 3 Treffer
- Dassow, Jürgen 3 Treffer
- Ehrig, Hartmut 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Eilenberg, Samuel (1913-1998) 3 Treffer
- Gössel, Michael (1941-) 3 Treffer
- Ibarra, Oscar H. 3 Treffer
- Pin, Jean Éric 3 Treffer
- Tilson, Bret (-2005) 3 Treffer
- Walter, Hermann 3 Treffer
- Wood, Derick (1940-) 3 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Arbib, Michael A. (1940-) 2 Treffer
- Aït-Kaci, Hassan 2 Treffer
- Bachmair, Leo 2 Treffer
- Bochmann, Dieter 2 Treffer
- Book, Ronald V. 2 Treffer
- Brauer, Wilfried 2 Treffer
- Budach, Lothar 2 Treffer
- Böhling, Karl Heinz (1930-) 2 Treffer
- Büchi, Julius Richard (1924-1984) 2 Treffer
- Champarnaud, Jean-Marc 2 Treffer
- Corradini, Andrea 2 Treffer
- Cousot, Patrick 2 Treffer
- Cousot, Radhia 2 Treffer
- De Swart, Harrie (1944-) 2 Treffer
- Deransart, Pierre 2 Treffer
- Ecker, Klaus (1957-) 2 Treffer
- Ginsburg, Seymour (1928-2004) 2 Treffer
- Gécseg, Ferenc (1939-) 2 Treffer
- Hackl, Clemens 2 Treffer
- Harrison, Michael A. 2 Treffer
- Herken, Rolf 2 Treffer
- Herschel, Rudolf 2 Treffer
- Herschel, Rudolf (1925-) 2 Treffer
- Janssen, T. M. V. 2 Treffer
- Kaplan, Stéphane (1961-1991) 2 Treffer
- Kirchner, Claude 2 Treffer
- Kuich, Werner 2 Treffer
- Lingas, Andrzej 2 Treffer
- Maurer, Hermann 2 Treffer
395 Treffer
-
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:
-
Boston [u.a.]: Kluwer, 1994Konferenzschrift, Sammelwerk, 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:
-
Reading, Mass. [u.a.]: Addison-Wesley, c 1978Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1981Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliogr. Inst, 1981Monographie, Einführung, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Prentice-Hall, 1972-Monographie, Schriftenreihe, 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:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2008Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: