Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 6 Treffer
- Datenverarbeitung 4 Treffer
- Formale Sprache 3 Treffer
- Syntaktische Analyse 3 Treffer
- Theoretische Informatik 3 Treffer
-
14 weitere Werte:
- Kontextfreie Grammatik 2 Treffer
- Kontextfreie Sprache 2 Treffer
- Semantik 2 Treffer
- Algorithmus 1 Treffer
- Formale Semantik 1 Treffer
- Grammatik 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programm 1 Treffer
- Programmierparadigma 1 Treffer
- Programmierung 1 Treffer
- Programming languages (Electronic computers) 1 Treffer
- Programmverifikation 1 Treffer
- Statische Analyse 1 Treffer
- Termersetzungssystem 1 Treffer
Sprache
Form
Person
14 Treffer
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1987) ; New York, NY: American Elsevier (1987) ; Edinburgh: Edinburgh Univ. Press (1987) ; Berlin ; Heidelberg [u.a.]: Springer (1987), 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2008Monographie, Gedruckte RessourceZugriff:
-
Sydney [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquiumBerlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3., durchges. Aufl.. - Mannheim [u.a.]: Bibliographisches Institut, 1986Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., durchges. u. erg. Aufl.. - Mannheim: Bibliograph. Inst, 1982Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Elsevier, 1977Monographie, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1988) ; New York, NY: American Elsevier (1988) ; Edinburgh: Edinburgh Univ. Press (1988) ; Berlin ; Heidelberg [u.a.]: Springer (1988), 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1981Monographie, Gedruckte RessourceZugriff: