knowsys / FormaleSysteme
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
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆23Updated 9 months ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 5 months 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
- Tichy-Klicker☆29Updated 5 months ago
- TUD-Script☆108Updated 7 months ago
- Downloader for https://ilias.studium.kit.edu/☆49Updated 2 weeks ago
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆26Updated this week
- https://bahn.expert☆543Updated 2 months ago
- Lernmaterialien LA I/II☆34Updated 7 years ago
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆111Updated last year
- Proxy for the TUM iCal export to remove clutter☆39Updated last week
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆336Updated 2 years ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆148Updated this week
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆43Updated 2 months ago
- A website providing links, redirects and tools related to the Technical University Munich☆143Updated last year
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆208Updated last year
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- collection of train plushies☆17Updated 2 weeks ago
- Traewelling-inspired journey logger with realtime data☆146Updated this week
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆53Updated 7 months ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 4 months ago
- Musterlösungen für Klausuraufgaben am KIT☆51Updated 2 years ago
- A web application that checks code against a range of user submitted tests.☆33Updated last year
- Eine LaTeX-Rechnungsvorlage.☆151Updated 2 years ago
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆514Updated 3 years ago
- Saving 400 million euro of public health care money from reckless vendors☆395Updated 2 years ago
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆30Updated last year
- Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …☆82Updated last year
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆93Updated 2 years ago