Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 4 Treffer
- Algorithmus 3 Treffer
- Programmierung 3 Treffer
- Datenverarbeitung 2 Treffer
- Formale Sprache 2 Treffer
-
36 weitere Werte:
- Mathematische Logik 2 Treffer
- Parallelverarbeitung 2 Treffer
- Programm 2 Treffer
- Semantik 2 Treffer
- Theoretische Informatik 2 Treffer
- Algorithmentheorie / Programmiersprache 1 Treffer
- Algorithmentheorie / Programmierung 1 Treffer
- Algorithmus / Lehrbuch*BASIC 1 Treffer
- Algorithmus / MODULA 2 1 Treffer
- Algorithmus / Problemanalyse 1 Treffer
- Algorithmus*Informatik / Lehrbuch 1 Treffer
- Angewandte Informatik / Algorithmus 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- BASIC / Programmiersprache 1 Treffer
- Berechnungstheorie 1 Treffer
- Computerarchitektur 1 Treffer
- Gleichungssystem 1 Treffer
- Höhere Programmiersprache / Lehrbuch 1 Treffer
- Kategorientheorie 1 Treffer
- Komplexitätstheorie 1 Treffer
- Nebenläufigkeit 1 Treffer
- Parallelrechner 1 Treffer
- Problemanalyse 1 Treffer
- Programmanalyse 1 Treffer
- Programmgenerator 1 Treffer
- Programmierlogik 1 Treffer
- Programmtransformation 1 Treffer
- Programmverifikation 1 Treffer
- Rekursion 1 Treffer
- Semantik*Problemanalyse 1 Treffer
- Statische Analyse 1 Treffer
- Synchrones Schaltwerk 1 Treffer
- Syntax 1 Treffer
- Syntax*Algorithmus / Einführung 1 Treffer
- Termersetzungssystem 1 Treffer
Sprache
Form
Person
15 Treffer
-
Berlin [u.a.]: Springer, 1982Monographie, 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, 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:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1991Konferenzschrift, 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:
-
Stuttgart: Teubner, 1993Monographie, Gedruckte RessourceZugriff: