Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 4 Treffer
- Programmierung 3 Treffer
- Algorithmus 2 Treffer
- Datenverarbeitung 2 Treffer
- Formale Sprache 2 Treffer
-
19 weitere Werte:
- Mathematische Logik 2 Treffer
- Parallelverarbeitung 2 Treffer
- Programm 2 Treffer
- Semantik 2 Treffer
- Theoretische Informatik 2 Treffer
- Berechnungstheorie 1 Treffer
- Computerarchitektur 1 Treffer
- Gleichungssystem 1 Treffer
- Komplexitätstheorie 1 Treffer
- Parallelrechner 1 Treffer
- Programmanalyse 1 Treffer
- Programmgenerator 1 Treffer
- Programmierlogik 1 Treffer
- Programmtransformation 1 Treffer
- Programmverifikation 1 Treffer
- Rekursion 1 Treffer
- Statische Analyse 1 Treffer
- Syntax 1 Treffer
- Termersetzungssystem 1 Treffer
Form
Person
13 Treffer
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel [u.a.], 1987Monographie, 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:
-
Berlin [u.a.]: Springer, 1977Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1985Konferenzschrift, Sammelwerk, 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:
-
Cambridge, Mass. [u.a.]: MIT Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1982Monographie, Gedruckte RessourceZugriff: