Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 13 Treffer
- Berechenbarkeit 7 Treffer
- Theoretische Informatik 6 Treffer
- Komplexitätstheorie 5 Treffer
- Berechnungstheorie 4 Treffer
-
24 weitere Werte:
- Programmiersprache 3 Treffer
- Datenverarbeitung 2 Treffer
- Mathematische Logik 2 Treffer
- Nebenläufigkeit 2 Treffer
- Petri-Netz 2 Treffer
- Turing-Maschine 2 Treffer
- Anwendung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Berechnungskomplexität 1 Treffer
- Biocomputer 1 Treffer
- Compiler 1 Treffer
- Computer 1 Treffer
- Entscheidbarkeit 1 Treffer
- Erreichbarkeit 1 Treffer
- Grundlage 1 Treffer
- Gruppentheorie 1 Treffer
- Interleaving 1 Treffer
- Kategorientheorie 1 Treffer
- Kellerautomat 1 Treffer
- Kontextfreie Sprache 1 Treffer
- Mathematical linguistics 1 Treffer
- Mathematik 1 Treffer
- Programmierung 1 Treffer
- Semantik 1 Treffer
Sprache
Form
Person
- Hedtstück, Ulrich (1951-) 3 Treffer
- Sipser, Michael 3 Treffer
- Aho, Alfred V. (1941-) 1 Treffer
- Arvind, Vikraman 1 Treffer
- Asperti, Andrea 1 Treffer
-
21 weitere Werte:
- Beckman, Frank S. 1 Treffer
- Book, Ronald V. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Brookshear, J. Glenn 1 Treffer
- Cohen, Daniel I. A. 1 Treffer
- Davis, Martin (1928-2023) 1 Treffer
- Fountain, John 1 Treffer
- Hsiang, Jieh (1954-) 1 Treffer
- Leeuwen, Jan van 1 Treffer
- Lewis, Harry R. 1 Treffer
- Longo, Giuseppe 1 Treffer
- Martín Vide, Carlos (1955-) 1 Treffer
- Pandu Rangan, C. (1955-) 1 Treffer
- Papadimitriou, Christos H. (1949-) 1 Treffer
- Posthoff, Christian (1943-) 1 Treffer
- Priese, Lutz (1947-) 1 Treffer
- Rozenberg, Grzegorz (1942-) 1 Treffer
- Schultz, Konrad 1 Treffer
- Weyuker, Elaine J. 1 Treffer
- Wimmel, Harro (1967-) 1 Treffer
- Wood, Derick (1940-) 1 Treffer
24 Treffer
-
[Nachdr.]. - Boston, MA [u.a.]: PWS Publ, [20]02Monographie, Einführung, Gedruckte RessourceZugriff:
-
Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier [u.a.], 1990Sammelwerk, Gedruckte RessourceZugriff:
-
London: Imperial College Press, 2011Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Harper & Row, [19]86Monographie, Gedruckte RessourceZugriff:
-
5., überarb. Aufl.. - München: Oldenbourg, 2012Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 2000Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1980Monographie, Gedruckte RessourceZugriff:
-
2., überarb. Aufl.. - München [u.a.]: Oldenbourg, 2003Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Wiley, 1997Monographie, Einführung, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J.: Prentice-Hall, 1973Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin; Heidelberg [u.a.]: Springer (1987) ; Berlin: Akad.-Verl (1979), 1987; 1979Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
[Nachdr.]. - Boston, Mass. [u.a.]: PWS Publ. Co, [20]03Monographie, Einführung, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1983Monographie, Gedruckte RessourceZugriff: