Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 8 Treffer
- Kombinatorik 7 Treffer
- Automatentheorie 6 Treffer
- Analysis 4 Treffer
- Formale Sprache 4 Treffer
-
30 weitere Werte:
- Prädikatenlogik 4 Treffer
- Mathematische Logik 3 Treffer
- Turing-Maschine 3 Treffer
- Algorithmentheorie 2 Treffer
- Algorithmus 2 Treffer
- Berechenbare Funktion 2 Treffer
- Berechnungskomplexität 2 Treffer
- Programmierung 2 Treffer
- Algebraische Struktur 1 Treffer
- Berechnungstheorie 1 Treffer
- Calculus / Computer programs 1 Treffer
- Computer 1 Treffer
- Constraint (Künstliche Intelligenz) 1 Treffer
- Datenverarbeitung 1 Treffer
- Diskrete Mathematik 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
- Programmverifikation 1 Treffer
- Reguläre Menge 1 Treffer
- Rekursionstheorie 1 Treffer
- Rekursivität 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
-
39 weitere Werte:
- Weihrauch, Klaus (1943-) 2 Treffer
- Blanck, Jens 1 Treffer
- Bretz, Manfred 1 Treffer
- Bridges, Douglas S. (1945-) 1 Treffer
- Cantone, Domenico 1 Treffer
- Chen, Danny Z. 1 Treffer
- Chwa, Kyung-Yong 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
- Hsu, Wen-Lian 1 Treffer
- Ibarra, Oscar H. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Karpiński, Marek (1948-) 1 Treffer
- Kozen, Dexter (1951-) 1 Treffer
- Lewis, Harry R. 1 Treffer
- Machtey, Michael 1 Treffer
- Maher, Michael 1 Treffer
- Milner, Robin (1934-2010) 1 Treffer
- Minsky, Marvin (1927-2016) 1 Treffer
- Mirkowska, Grażyna 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
- Wang, Jie 1 Treffer
- Wang, Lusheng 1 Treffer
- Warnow, Tandy 1 Treffer
- Wechsung, Gerd (1939-) 1 Treffer
- Wood, Derick (1940-) 1 Treffer
- Young, Paul 1 Treffer
39 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:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1972Monographie, 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:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, 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, 2004Konferenzschrift, Sammelwerk, 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: