UB / Systematik /
Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)
Suche
- TVH-TVNTheoretische Grundlagen der Programmierung
Gesamtdarstellungen und allgemeine Einzelfragen
- TVH-TVNTheoretische Grundlagen der Programmierung
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