Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)

Gesamtdarstellungen und allgemeine Einzelfragen

Algorithmentheorie

Theorie der Berechenbarkeit. Rekursive Funktionen

Komplexitätstheorie

Algorithmen (Analyse, Komplexität, Effizienz)

Automatentheorie

Theorie der formalen Sprachen und ihrer Automaten

Datenstrukturen (Algorithmen, ...)

Programmierung. Nebenläufige Prozesse

Theorie der Programmierung (Semantik, Verfikation, Schemata). Algebraische Spezifikation

Theorie der nebenläufige Prozesse (Petrinetze, Produktnetze, ...)

Sonstiges