knowsys / FormaleSystemeLinks
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
☆44Updated last year
Alternatives and similar repositories for FormaleSysteme
Users that are interested in FormaleSysteme are comparing it to the libraries listed below
Sorting:
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆24Updated last year
- 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 8 years ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆348Updated 2 years ago
- 📦 Lernstoffsammlung der Informatik☆70Updated last week
- Synchronization client for RWTH Moodle☆77Updated 2 months ago
- Tichy-Klicker☆29Updated last week
- TUD-Script☆112Updated last year
- Summaries of my university courses (in German)☆26Updated 5 years ago
- collection of train plushies☆17Updated 4 months ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated last month
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆142Updated 2 years ago
- A website providing links, redirects and tools related to the Technical University Munich☆97Updated 3 weeks ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆43Updated last month
- Programm zum Flotten, Einfachen Runterladen von Dateien☆155Updated last month
- https://bahn.expert☆573Updated 6 months ago
- LaTeX Templates for TU Darmstadt☆236Updated 4 months ago
- A markdown based tool for slide deck creation.☆70Updated this week
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆18Updated 2 years ago
- Latex Bewerbungsvorlage☆225Updated 11 months ago
- Traewelling-inspired journey logger with realtime data☆159Updated last week
- An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…☆11Updated 7 years ago
- Downloader for https://ilias.studium.kit.edu/☆49Updated 4 months ago
- Learning Framework for Logic Calculi☆16Updated last week
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- Grundgesetz für die Bundesrepublik Deutschland☆528Updated 7 years ago
- Musterlösungen für Klausuraufgaben am KIT☆51Updated 2 years ago
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆208Updated last year
- Website for students of the Karlsruhe Institute of Technology (KIT).☆50Updated 9 years ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated 3 weeks ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago