knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
☆44Updated 11 months ago
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 8 months ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 4 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
- TUD-Script☆108Updated 7 months ago
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆43Updated last month
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆334Updated 2 years ago
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- Summaries of my university courses (in German)☆26Updated 4 years ago
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 3 months ago
- LaTeX-Vorlage für Bachelorarbeiten o.ä.☆111Updated last year
- Alle unsere Heißgetränke☆19Updated 2 years ago
- LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.☆38Updated 3 years ago
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆52Updated 6 months ago
- https://bahn.expert☆539Updated 2 months ago
- Grundgesetz für die Bundesrepublik Deutschland☆521Updated 7 years ago
- 🚋 Query Dresden's public transport system for current bus- and tramstop data in python☆51Updated last year
- Wahl im Netz☆21Updated last year
- Downloader for https://ilias.studium.kit.edu/☆48Updated 3 weeks ago
- Traewelling-inspired journey logger with realtime data☆146Updated this week
- [Deprecated] A simple web application to manage online programming assignments☆29Updated last year
- collection of train plushies☆15Updated last week
- Central hub for canteen information (meals, location ...)☆78Updated this week
- A collection of openmensa.org parsers with feed v2 generator☆36Updated last year
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated last year
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆93Updated 2 years ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 3 months ago
- j-Algo is an algorithm visualisation tool.☆11Updated 3 years ago
- The official CovPass(-Check) iOS apps☆94Updated last year
- library to access the internet banking area of "Deutsche Kreditbank" to get account information and transactions☆164Updated last week
- Free check-in service to log your public transit journeys☆278Updated this week