Regensburger Verbundklassifikation

Zur Übersicht RVKO
UB Regensburg

     SQ - SU Informatik
         ST Monografien
             ST 120 - ST 140 Grundlagen der Informatik
                 ST 130 - ST 140 Theoretische Informatik
Reg.: Theoretische Informatik
                     ST 130 Allgemeines
                     ST 132 Netztheorie, Petri-Netze
Verw.:s.a. SK 130
Reg.: Petri-Netz
                     ST 134 Algorithmen-, Komplexitätstheorie
Reg.: Algorithmentheorie||Komplexitätstheorie
                     ST 136 Automatentheorie, Formale Sprachen
Reg.: Automatentheorie||Formale Sprache||Logische Sprache
                     ST 140 Semantik von Programmiersprachen
Reg.: Programmiersprache||Semantik

© Universitätsbibliothek Regensburg, realisiert von Sepp Kuffer