Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 10 Treffer
- Komplexitätstheorie 6 Treffer
- Berechenbarkeit 4 Treffer
- Mathematische Logik 3 Treffer
- Theoretische Informatik 3 Treffer
-
25 weitere Werte:
- Informatik 2 Treffer
- Programmiersprache 2 Treffer
- Semantik 2 Treffer
- Algorithmus 1 Treffer
- Aussagenlogik 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Berechnungstheorie 1 Treffer
- Computer 1 Treffer
- Datenverarbeitung 1 Treffer
- Elementare Zahlentheorie 1 Treffer
- Formale Grammatik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Lambda-Kalkül 1 Treffer
- Logische Programmierung 1 Treffer
- Natürliche Sprache 1 Treffer
- Problemlösen 1 Treffer
- Programm 1 Treffer
- Programmierung 1 Treffer
- Prädikatenlogik 1 Treffer
- Rekursive Funktion 1 Treffer
- Software Engineering 1 Treffer
- VLSI 1 Treffer
- Wissenstechnik 1 Treffer
Sprache
Person
- Hopcroft, John E. (1939-) 2 Treffer
- Sander, Peter 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
- Ullman, Jeffrey D. (1942-) 2 Treffer
- Anlauff, Matthias 1 Treffer
-
23 weitere Werte:
- Barton, G. E. 1 Treffer
- Berwick, Robert C. 1 Treffer
- Brainerd, Walter S. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Brookshear, J. Glenn 1 Treffer
- Dassow, Jürgen 1 Treffer
- Davis, Ruth E. 1 Treffer
- Fensel, Dieter (1960-) 1 Treffer
- Herschel, Rudolf 1 Treffer
- Herschel, Rudolf (1925-) 1 Treffer
- Indermark, Klaus 1 Treffer
- Kelemenová, Alica 1 Treffer
- Landweber, Lawrence H. 1 Treffer
- Leach Albert, Javier 1 Treffer
- Lewis, Harry R. 1 Treffer
- Mirkowska, Grażyna 1 Treffer
- Motwani, Rajeev (1962-2009) 1 Treffer
- Nielsen, Mogens 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Ristad, Eric S. 1 Treffer
- Salwicki, Andrzej 1 Treffer
- Sipser, Michael 1 Treffer
- Wood, Derick (1940-) 1 Treffer
19 Treffer
-
Mannheim [u.a.]: Bibliograph. Institut, 1968Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1987Monographie, Gedruckte RessourceZugriff:
-
3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart: Teubner, 1995Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1974Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Harper & Row, [19]86Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel [u.a.], 1987Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
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:
-
Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York: Computer Science Pr, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Gedruckte RessourceZugriff: