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 10 months ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 3 weeks 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
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆344Updated 2 years ago
- Grundgesetz für die Bundesrepublik Deutschland☆525Updated 7 years ago
- Latex Bewerbungsvorlage☆223Updated 8 months ago
- Traewelling-inspired journey logger with realtime data☆148Updated this week
- Downloader for https://ilias.studium.kit.edu/☆49Updated last month
- collection of train plushies☆17Updated last month
- Free check-in service to log your public transit journeys☆302Updated this week
- LaTeX Templates for TU Darmstadt☆230Updated last month
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 4 years ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆150Updated last week
- Der offizielle eID-Client des Bundes.☆593Updated 2 months ago
- TUD-Script☆108Updated 9 months ago
- BibBot is a browser extension that removes the paywall on German online news sites using your library account's access to press databases…☆546Updated 2 weeks ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆43Updated 3 months ago
- https://bahn.expert☆555Updated 4 months ago
- Tichy-Klicker☆29Updated 7 months ago
- 💉🤖 Bot for the German "ImpfterminService - 116117"☆150Updated 3 years ago
- Automatisierte Impfterminbuchung für www.impfterminservice.de☆515Updated 3 years ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 5 months ago
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆53Updated 8 months ago
- A collection of chaos event / nerd culture related stickers.☆220Updated last month
- Informationssammlung zum Thema CoVid-19☆220Updated 4 years ago
- Application for communication and collective exchange of menu information in university catering facilities☆55Updated this week
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆139Updated 2 years ago
- Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot☆243Updated 3 years ago
- Learning Framework for Logic Calculi☆16Updated last week
- A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.☆444Updated 3 weeks ago