bitkeks / theolog-ss2017
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
☆18Updated 7 years ago
Alternatives and similar repositories for theolog-ss2017:
Users that are interested in theolog-ss2017 are comparing it to the libraries listed below
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆23Updated 9 months ago
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 4 months ago
- API Documentation for BahnBonus, the loyality system of DB☆25Updated 6 years ago
- Online event coordination and survey application☆349Updated last month
- Tool that checks the vaccination portal of Saxony for available appointments for specified vaccination centres.☆35Updated 3 years ago
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆93Updated 2 years ago
- Bist du schon drin?☆41Updated 3 months ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- KVV live API bindings☆63Updated 2 years ago
- Plan your week for the next semester.☆16Updated last year
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 4 months ago
- Deutsche Bahn ticket price calendar.☆407Updated 3 weeks ago
- TUD-Script☆108Updated 7 months ago
- ☆45Updated 5 years ago
- Alle unsere Heißgetränke☆19Updated 2 years ago
- ☆95Updated this week
- This is a nasty hack to enable the neo 2 keyboard layout in AWT/Swing based programs under X11 (e.g. Linux).☆30Updated 3 years ago
- Sign up management for the language courses at the KIT Sprachenzentrum.☆12Updated last month
- collection of train plushies☆17Updated last week
- A python client for the HAFAS (HaCon Fahrplan Auskunfts System)☆52Updated 3 months ago
- A collection of chaos event / nerd culture related stickers.☆217Updated last month
- Tichy-Klicker☆29Updated 5 months ago
- Das Mörderspiel -- Es ist doch bloß ein Spiel!☆20Updated 6 years ago
- Strichliste Backend☆25Updated 4 months ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- ☆47Updated last year
- ☆20Updated 7 years ago
- Parser for online-tickets according to ETF-918.3☆71Updated last year