Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 3 Treffer
- Programmierung 3 Treffer
- Semantik 2 Treffer
- Algorithmentheorie 1 Treffer
- Automatentheorie 1 Treffer
-
19 weitere Werte:
- Datenverarbeitung 1 Treffer
- Echtzeitsystem 1 Treffer
- Formale Methode 1 Treffer
- Geschichte 1 Treffer
- Grammatik 1 Treffer
- Informatik 1 Treffer
- Kategorientheorie 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Militär 1 Treffer
- Natürliche Sprache 1 Treffer
- Programmanalyse 1 Treffer
- Sprachverarbeitung 1 Treffer
- Syntaktische Analyse 1 Treffer
- Temporale Logik 1 Treffer
- Theoretische Informatik 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Zeitbehafteter Automat 1 Treffer
- Zeitbewertetes Petri-Netz 1 Treffer
- Zeitdiskretes System 1 Treffer
Sprache
Form
Person
9 Treffer
-
1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [Publ. Co.], 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Prentice Hall, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr. [d. Ausg.] New York, 1972. - Huntington, N.Y.: Krieger, 1978Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: