| 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 |