Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 53 Treffer
- Formale Sprache 39 Treffer
- Theoretische Informatik 11 Treffer
- Endlicher Automat 9 Treffer
- Programmiersprache 9 Treffer
-
45 weitere Werte:
- Automat 8 Treffer
- Komplexitätstheorie 8 Treffer
- Syntaktische Analyse 8 Treffer
- Berechenbarkeit 6 Treffer
- Reduktionssystem 6 Treffer
- Datenverarbeitung 5 Treffer
- Stochastischer Automat 5 Treffer
- Kontextfreie Grammatik 4 Treffer
- Kontextfreie Sprache 4 Treffer
- Zellularer Automat 4 Treffer
- Algorithmus 3 Treffer
- Attributierte Grammatik 3 Treffer
- Compiler 3 Treffer
- Computerlinguistik 3 Treffer
- Graph-Grammatik 3 Treffer
- Informatik 3 Treffer
- Lindenmayer-System 3 Treffer
- Parallelverarbeitung 3 Treffer
- Parser 3 Treffer
- Sequenzielle Logik 3 Treffer
- Termersetzungssystem 3 Treffer
- Theorie 3 Treffer
- Berechnungskomplexität 2 Treffer
- Berechnungstheorie 2 Treffer
- Computer 2 Treffer
- Fairness (Informatik) 2 Treffer
- Fuzzy-Logik 2 Treffer
- Halbgruppe 2 Treffer
- Kellerautomat 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Linearer Automat 2 Treffer
- Mathematische Logik 2 Treffer
- Modell 2 Treffer
- Natürliche Sprache 2 Treffer
- Nebenläufigkeit 2 Treffer
- Neuronales Netz 2 Treffer
- Petri-Netz 2 Treffer
- Potenzreihe 2 Treffer
- Produktion (Informatik) 2 Treffer
- Programmierparadigma 2 Treffer
- Programmierung 2 Treffer
- Schaltwerk 2 Treffer
- Softwareentwicklung 2 Treffer
- Sprache 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
Sprache
Form
Person
- Ullman, Jeffrey D. (1942-) 11 Treffer
- Hopcroft, John E. (1939-) 8 Treffer
- Salomaa, Arto (1934-) 6 Treffer
- Claus, Volker (1944-) 4 Treffer
- Hotz, Günter (1931-) 4 Treffer
-
45 weitere Werte:
- Aho, Alfred V. (1941-) 3 Treffer
- Berstel, Jean (1941-) 3 Treffer
- Gössel, Michael (1941-) 3 Treffer
- Walter, Hermann 3 Treffer
- Arbib, Michael A. (1940-) 2 Treffer
- Bochmann, Dieter 2 Treffer
- Brauer, Wilfried 2 Treffer
- Büchi, Julius Richard (1924-1984) 2 Treffer
- Dassow, Jürgen 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
- Herschel, Rudolf 2 Treffer
- Herschel, Rudolf (1925-) 2 Treffer
- Janssen, T. M. V. 2 Treffer
- Maurer, Hermann 2 Treffer
- Mayer, Otto 2 Treffer
- Nijholt, Anton 2 Treffer
- Otto, Friedrich 2 Treffer
- Pin, Jean Éric 2 Treffer
- Sander, Peter 2 Treffer
- Schöning, Uwe (1955-) 2 Treffer
- Shields, Michael William (1950-) 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
- Wood, Derick (1940-) 2 Treffer
- Abramson, Harvey 1 Treffer
- Adámek, Jiří (1947-) 1 Treffer
- Albert, Jürgen 1 Treffer
- Aleksander, Igor 1 Treffer
- Ali, Anjum 1 Treffer
- Amtrup, Jan 1 Treffer
- Ashar, Pranav 1 Treffer
- Autebert, Jean-Michel 1 Treffer
- Avenhaus, Jürgen (1941-) 1 Treffer
- Baba, Norio 1 Treffer
- Bachmair, Leo 1 Treffer
- Barzdin', Jan Martynovič 1 Treffer
- Bavel, Zamir 1 Treffer
- Becker, Heinrich 1 Treffer
- Belli, Fevzi 1 Treffer
- Benninghofen, Benjamin 1 Treffer
- Book, Ronald V. 1 Treffer
- Booth, Taylor L. (1933-) 1 Treffer
202 Treffer
-
Cham: Springer, [2017]Monographie, 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:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte Ressource, Elektronische Ressource, CD-ROMZugriff:
-
3., durchges. Aufl.. - Mannheim [u.a.]: Bibliographisches Institut, 1986Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1979Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Gedruckte RessourceZugriff:
-
2., durchges. u. erg. Aufl.. - Mannheim: Bibliograph. Inst, 1982Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Bibliografie, 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.]: Elsevier, 1977Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1992Monographie, 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:
-
Berlin [u.a.]: Springer, 1980Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
4. Aufl.. - Heidelberg [u.a.]: Spektrum, Akad. Verl, 2001Monographie, Gedruckte RessourceZugriff: