knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
☆44Updated 9 months ago
Alternatives and similar repositories for FormaleSysteme:
Users that are interested in FormaleSysteme are comparing it to the libraries listed below
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆22Updated 6 months ago
- 📦 Lernstoffsammlung der Informatik☆68Updated 2 months ago
- TUD-Script☆110Updated 5 months ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆327Updated 2 years ago
- Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthal…☆18Updated 7 years ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆41Updated this week
- Downloader for https://ilias.studium.kit.edu/☆47Updated 2 months ago
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆50Updated 4 months ago
- j-Algo is an algorithm visualisation tool.☆11Updated 2 years ago
- Musterlösungen für Klausuraufgaben am KIT☆50Updated last year
- Taktische Zeichen für Hilfsorganisationen als Vektorgrafiken☆138Updated 2 weeks ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆36Updated last month
- Latex Bewerbungsvorlage☆224Updated 4 months ago
- Lernmaterialien LA I/II☆32Updated 7 years ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆136Updated last year
- Tichy-Klicker☆29Updated 3 months ago
- https://bahn.expert☆528Updated this week
- BibBot is a browser extension that removes the paywall on German online news sites using your library account's access to press databases…☆528Updated 2 months ago
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆146Updated 2 months ago
- Traewelling-inspired journey logger with realtime data☆139Updated 2 weeks ago
- Grundgesetz für die Bundesrepublik Deutschland☆517Updated 7 years ago
- Corporate Design der TU Dresden – beamer style and old poster class☆47Updated 3 years ago
- Pandoc template for writing Markdown letters (DIN 5008)☆165Updated 2 years ago
- Synchronization client for RWTH Moodle☆74Updated last week
- Saving 400 million euro of public health care money from reckless vendors☆396Updated 2 years ago
- Motions, resolutions and amendments for political conventions☆103Updated this week
- AfD Blocker Browser Plugin☆283Updated 2 years ago
- Learning Framework for Logic Calculi☆16Updated this week
- This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.☆117Updated 6 months ago