UB / Systematik /
Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)
Suche
- TVA-TVVTheoretische Informatik
Gesamtdarstellungen und allgemeine Einzelfragen
- TVA-TVVTheoretische Informatik
(Einzelne Gebiete)
Kodierungstheorie. Kryptographie. Informationstheorie
Graphentheorie. Algorithmische Geometrie
- TVC-TVETheorie der digitalen Schaltwerke
Gesamtdarstellungen
- TVC-TVETheorie der digitalen Schaltwerke
Schaltalgebra. Anwendungen der Bool'schen Algebra
- 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
- TVP-TVVTheorie der Informationsverarbeitung und Automation
- TVP-TVVTheorie der Informationsverarbeitung und Automation
Gesamtdarstellungen und allgemeine Einzelfragen
Kybernetik
- TVR-TVTModellbildung. Simulation
Prozeßtechnik
Modellbildung. Systemanalyse. Systementwicklung
Simulation. Virtuelle Realität
Künstliche Intelligenz (KI)
Allgemeines
Methoden d. KI (Problemlösen, Such- und Planverfahren, Spielstrategien; Repräsentation von Wissen; Lernen)
Expertensysteme. Wissensbasierte Systeme
Deduktionssysteme. Theorembeweis
Automatisches Programmieren (Synthese, Verifikation, Compilierung, ...)
Sonstiges (Verteilte KI ...)
Sonstiges
Bildverarbeitung. Computer-Sehen. Mustererkennung
Allgemeines
Mustererkennung
Data Mining
Natürlich-sprachliche Systeme (Parsing, ATN, Übersetzen, ...)