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 11 months ago
- 📦 Lernstoffsammlung der Informatik☆69Updated last month
- 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
- TUD-Script☆109Updated 9 months ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆43Updated 2 weeks ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆345Updated 2 years ago
- Synchronization client for RWTH Moodle☆76Updated 3 weeks ago
- collection of train plushies☆17Updated 2 months ago
- Summaries of my university courses (in German)☆26Updated 5 years ago
- Free check-in service to log your public transit journeys☆307Updated this week
- LaTeX Templates for TU Darmstadt☆231Updated last month
- A website providing links, redirects and tools related to the Technical University Munich☆143Updated last year
- [Deprecated] A simple web application to manage online programming assignments☆28Updated last year
- Wahl im Netz☆22Updated last year
- Programm zum Flotten, Einfachen Runterladen von Dateien☆151Updated 3 weeks ago
- Mensas erste nützliche Schlangen-Abmessungssoftware☆29Updated 2 years ago
- Tichy-Klicker☆29Updated this week
- Proxy for the TUM iCal export to remove clutter☆39Updated last month
- Musterlösungen für Klausuraufgaben am KIT☆51Updated 2 years ago
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- Traewelling-inspired journey logger with realtime data☆150Updated this week
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆26Updated this week
- https://bahn.expert☆558Updated 4 months ago
- A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.☆448Updated last month
- Browser-based Tool to Visualize Public Transport Journeys