Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Sprache 7 Treffer
- Automatentheorie 6 Treffer
- Datenverarbeitung 2 Treffer
- Komplexitätstheorie 2 Treffer
- Berechnungskomplexität 1 Treffer
-
13 weitere Werte:
- Compiler 1 Treffer
- Entscheidbarkeit 1 Treffer
- Erreichbarkeit 1 Treffer
- Informatik 1 Treffer
- Interleaving 1 Treffer
- Lambda-Kalkül 1 Treffer
- Mathematik 1 Treffer
- Mathematische Logik 1 Treffer
- Nebenläufigkeit 1 Treffer
- Petri-Netz 1 Treffer
- Programmierung 1 Treffer
- Theoretische Informatik 1 Treffer
- Turing-Maschine 1 Treffer
Sprache
Form
Person
10 Treffer
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Harper & Row, [19]86Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
LONDON: CHAPMAN AND HALL, 1977Monographie, Gedruckte RessourceZugriff:
-
reprint. - Cambridge [u.a.]: Cambridge Univ. Press, 1985Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J.: Prentice-Hall, 1973Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin; Heidelberg [u.a.]: Springer (1987) ; Berlin: Akad.-Verl (1979), 1987; 1979Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1983Monographie, Gedruckte RessourceZugriff:
-
Stuttgart [u.a.]: Teubner, 1992Monographie, Gedruckte RessourceZugriff: