Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 6 Treffer
- Formale Sprache 4 Treffer
- Prädikatenlogik 4 Treffer
- Analysis 3 Treffer
- Mathematische Logik 3 Treffer
-
26 weitere Werte:
- Turing-Maschine 3 Treffer
- Algorithmentheorie 2 Treffer
- Algorithmus 2 Treffer
- Berechenbare Funktion 2 Treffer
- Algebraische Struktur 1 Treffer
- Berechnungskomplexität 1 Treffer
- Calculus / Computer programs 1 Treffer
- Computer 1 Treffer
- Datenverarbeitung 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Endlicher Automat 1 Treffer
- Entscheidbarkeit 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
- Rekursionstheorie 1 Treffer
- Rekursivität 1 Treffer
- Theoretische Informatik 1 Treffer
- Theorie 1 Treffer
Sprache
Form
Person
- Börger, Egon 4 Treffer
- Aberth, Oliver 2 Treffer
- Loeckx, Jacques (1931-2020) 2 Treffer
- Sander, Peter 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
-
28 weitere Werte:
- Weihrauch, Klaus (1943-) 2 Treffer
- Bretz, Manfred 1 Treffer
- Bridges, Douglas S. (1945-) 1 Treffer
- Cantone, Domenico 1 Treffer
- Cohen, Daniel E. (1934-) 1 Treffer
- Davis, Martin (1928-2023) 1 Treffer
- Ferro, Alfredo (1951-) 1 Treffer
- Gordon, Michael J. C. 1 Treffer
- Herschel, Rudolf 1 Treffer
- Herschel, Rudolf (1925-) 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kozen, Dexter (1951-) 1 Treffer
- Lewis, Harry R. 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
- Rödding, Dieter 1 Treffer
- Skordev, Dimiter Genčev 1 Treffer
- Wadsworth, Christopher P. 1 Treffer
- Wagner, Klaus (1910-2000) 1 Treffer
- Wechsung, Gerd (1939-) 1 Treffer
- Wood, Derick (1940-) 1 Treffer
- Young, Paul 1 Treffer
28 Treffer
-
New York [u.a.]: Acad. Pr, 1973Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1992Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1992Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel, 1986Monographie, Gedruckte RessourceZugriff:
-
2., berichtigte Aufl.. - Braunschweig [u.a.]: Vieweg, 1986Monographie, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1995Monographie, 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:
-
1. [Dr.]. - New York [u.a.]: Harper & Row, [19]86Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1976Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff: