Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Sprache 10 Treffer
- Berechenbarkeit 6 Treffer
- Komplexitätstheorie 5 Treffer
- Programmiersprache 4 Treffer
- Theoretische Informatik 4 Treffer
-
14 weitere Werte:
- Datenverarbeitung 2 Treffer
- Mathematische Logik 2 Treffer
- Algorithmentheorie 1 Treffer
- Algorithmus 1 Treffer
- Berechnungstheorie 1 Treffer
- Computer 1 Treffer
- Formale Grammatik 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Informatik 1 Treffer
- Kontextfreie Grammatik 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programm 1 Treffer
- Programmierung 1 Treffer
- Rekursive Funktion 1 Treffer
Sprache
Form
Person
- Hopcroft, John E. (1939-) 2 Treffer
- Sander, Peter 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
- Ullman, Jeffrey D. (1942-) 2 Treffer
- Brainerd, Walter S. 1 Treffer
-
16 weitere Werte:
- Brookshear, J. Glenn 1 Treffer
- Cohen, Daniel E. (1934-) 1 Treffer
- Dassow, Jürgen 1 Treffer
- Herschel, Rudolf 1 Treffer
- Herschel, Rudolf (1925-) 1 Treffer
- Kuich, Werner 1 Treffer
- Landweber, Lawrence H. 1 Treffer
- Leach Albert, Javier 1 Treffer
- Lewis, Harry R. 1 Treffer
- Loeckx, Jacques (1931-2020) 1 Treffer
- Minsky, Marvin (1927-2016) 1 Treffer
- Motwani, Rajeev (1962-2009) 1 Treffer
- Oliveira, Arlindo L. 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Schnorr, Claus Peter (1943-) 1 Treffer
- Sipser, Michael 1 Treffer
18 Treffer
-
Neufaufl., 2., überarb. Aufl.. - München: Pearson Studium, 2002Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
[Nachdr.]. - Boston, MA [u.a.]: PWS Publ, [20]02Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J.: Prentice-Hall, c 1967Monographie, 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, 1974Monographie, 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 [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1976Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1974Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1992Monographie, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1995Monographie, Gedruckte RessourceZugriff:
-
Chichester: Ellis Horwood [u.a.], 1987Monographie, Gedruckte RessourceZugriff: