knowsys / FormaleSystemeLinks
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
☆53Updated this week
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
- 📦 Lernstoffsammlung der Informatik☆71Updated 2 months ago
- https://bahn.expert☆592Updated 9 months ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆351Updated 3 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 8 years ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆146Updated 2 years ago
- Traewelling-inspired journey logger with realtime data☆166Updated last week
- collection of train plushies☆19Updated last month
- Tichy-Klicker☆29Updated 3 months ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆50Updated 3 weeks ago
- Latex Bewerbungsvorlage☆228Updated 3 weeks ago
- Grundgesetz für die Bundesrepublik Deutschland☆522Updated 7 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆18Updated 2 years ago
- TUD-Script☆113Updated last year
- Synchronization client for RWTH Moodle☆77Updated this week
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆27Updated this week
- Musterlösungen für Klausuraufgaben am KIT☆51Updated 2 years ago
- BibBot is a browser extension that removes the paywall on German online news sites using your library account's access to press databases…☆604Updated 3 weeks ago
- Summaries of my university courses (in German)☆26Updated 5 years ago
- Hagenberg LaTeX Thesis Template☆216Updated last week
- Deutsche Bahn ticket price calendar.☆440Updated last month
- 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
- Programm zum Flotten, Einfachen Runterladen von Dateien☆167Updated 3 weeks ago
- LaTeX Templates for TU Darmstadt☆239Updated last week
- Lernmaterialien LA I/II☆35Updated 8 years ago
- Free check-in service to log your public transit journeys☆332Updated this week
- SVG-based Tool to Animate Maps of Public Transport Networks☆117Updated 2 years ago
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 4 months ago
- A LaTeX package for typesetting (potentially long) recipes.☆40Updated 4 years ago