Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Analysis 3 Treffer
- Automatentheorie 3 Treffer
- Mathematische Logik 3 Treffer
- Turing-Maschine 3 Treffer
- Algorithmus 2 Treffer
-
20 weitere Werte:
- Berechenbare Funktion 2 Treffer
- Calculus / Computer programs 1 Treffer
- Computer 1 Treffer
- Datenverarbeitung 1 Treffer
- Endlicher Automat 1 Treffer
- Entscheidbarkeit 1 Treffer
- Formale Sprache 1 Treffer
- Kellerautomat 1 Treffer
- Komplexitätstheorie 1 Treffer
- Kontextfreie Grammatik 1 Treffer
- LISP 1 Treffer
- Lambda-Kalkül 1 Treffer
- Mengenlehre 1 Treffer
- Numerisches Verfahren 1 Treffer
- Programmierung 1 Treffer
- Programmverifikation 1 Treffer
- Reguläre Menge 1 Treffer
- Rekursivität 1 Treffer
- Theoretische Informatik 1 Treffer
- Theorie 1 Treffer
Form
Person
- Aberth, Oliver 2 Treffer
- Weihrauch, Klaus (1943-) 2 Treffer
- Bridges, Douglas S. (1945-) 1 Treffer
- Cantone, Domenico 1 Treffer
- Cohen, Daniel E. (1934-) 1 Treffer
-
19 weitere Werte:
- Davis, Martin (1928-2023) 1 Treffer
- Ferro, Alfredo (1951-) 1 Treffer
- Gordon, Michael J. C. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kozen, Dexter (1951-) 1 Treffer
- Lewis, Harry R. 1 Treffer
- Loeckx, Jacques (1931-2020) 1 Treffer
- Machtey, Michael 1 Treffer
- Milner, Robin (1934-2010) 1 Treffer
- Minsky, Marvin (1927-2016) 1 Treffer
- Omodeo, Eugenio 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Pour-El, Marian B. 1 Treffer
- Richards, Ian (1936-) 1 Treffer
- Wadsworth, Christopher P. 1 Treffer
- Wagner, Klaus (1910-2000) 1 Treffer
- Wechsung, Gerd (1939-) 1 Treffer
- Young, Paul 1 Treffer
18 Treffer
-
Oxford: Clarendon, 1989Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1987Monographie, Gedruckte RessourceZugriff:
-
Chichester: Ellis Horwood [u.a.], 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1972Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
New York: McGraw-Hill, 1980Monographie, Gedruckte RessourceZugriff:
-
San Diego, Calif. [u.a.]: Academic Press, 2001Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J.: Prentice-Hall, c 1967Monographie, Gedruckte RessourceZugriff:
-
New York: Courant Inst. of Math. Sciences, 1974Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: North-Holland, 1978Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1979Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Pr, 1973Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel, 1986Monographie, Gedruckte RessourceZugriff: