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
Reg.: Algorithmentheorie ||
                     ST 136 Automatentheorie, Formale Sprache
Reg.: Automatentheorie || Formale Sprache || Logische Sprache
                     ST 140 Semantik von Programmiersprachen
Reg.: Programmiersprache || Semantik

© Universitätsbibliothek Regensburg, realisiert von Sepp Kuffer