knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
☆44Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for FormaleSysteme
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆22Updated 4 months ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 7 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
- Grundgesetz für die Bundesrepublik Deutschland☆511Updated 6 years ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆319Updated 2 years ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆39Updated last month
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆88Updated last year
- TUD-Script☆106Updated 2 months ago
- Traewelling-inspired journey logger with realtime data☆121Updated 3 weeks ago
- Tichy-Klicker☆30Updated 3 weeks ago
- Synchronization client for RWTH Moodle☆72Updated 2 months ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆135Updated last year
- LaTeX Templates for TU Darmstadt☆214Updated 3 weeks ago
- https://bahn.expert☆499Updated last week
- Free check-in service to log your public transit journeys☆234Updated this week
- Programmierparadigmen-Tutorium 2022WS☆29Updated last year
- Eine LaTeX-Rechnungsvorlage.☆146Updated last year
- A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.☆396Updated 10 months ago
- LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.☆37Updated 2 years ago
- collection of train plushies☆14Updated this week
- Recipes☆20Updated 4 years ago
- [Deprecated] A simple web application to manage online programming assignments☆29Updated last year
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 2 years ago
- A LaTeX package for typesetting (potentially long) recipes.☆35Updated 3 years ago
- The official CovPass(-Check) iOS apps☆94Updated 10 months ago
- Ersti-Info-Broschüre der Fachschaften Informatik, Mathematik und Physik☆16Updated 2 months ago
- 🎓 STiNE CLI / library in Go☆11Updated 7 months ago
- Downloader for https://ilias.studium.kit.edu/☆45Updated last week
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆36Updated last month
- Moderne Deutsche Briefvorlage für LaTeX (scrlttr2)☆106Updated 7 years ago