Semantisches Browsen
Aus International Center for Computational Logic
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
26. Oktober 2020, 16:19:44 +
Academic Skills in Computer Science +, Advanced Logics +, CMS Research Project “Model Checking” +, Complexity Theory +, Concurrency Theory +, Database Theory +, Deduction Systems +, Doctoral Seminar “Advances in Probabilistic Model Checking” +, Formale Systeme +, Knowledge Graphs +, Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ +, Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ +, Lab Course “Modeling and Automated Verification” +, Profilprojekt „Forschungsprojekt Formale Methoden“ +, Proseminar „Binäre Entscheidungsgraphen“ +, Proseminar „Theoretische Informatik“ +, Research Seminar “Formal Methods” +, Seminar “Selected Topics in Logic and Verification” +, Team Project “Model Checking” +
