bitkeks / theolog-ss2017Links
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 8 years ago
Alternatives and similar repositories for theolog-ss2017
Users that are interested in theolog-ss2017 are comparing it to the libraries listed below
Sorting:
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆24Updated last year
- Plan your week for the next semester.☆16Updated last year
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆103Updated this week
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.☆450Updated 4 months ago
- Deutsche Bahn ticket price calendar.☆433Updated 2 months ago
- TUD-Script☆112Updated last year
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 4 years ago
- https://bahn.expert☆577Updated 7 months ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- Grundgesetz für die Bundesrepublik Deutschland☆529Updated 7 years ago
- Corporate Design der TU Dresden – beamer style and old poster class☆51Updated 4 years ago
- Online event coordination and survey application☆354Updated 6 months ago
- Browser-based Tool to Visualize Public Transport Journeys☆64Updated last month
- Saving 400 million euro of public health care money from reckless vendors☆394Updated 2 years ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 2 months ago
- collection of train plushies☆17Updated last week
- Traewelling-inspired journey logger with realtime data☆160Updated last week
- Some of the stickers might unsettle you.☆142Updated 8 months ago
- A LaTeX package for typesetting (potentially long) recipes.☆40Updated 4 years ago
- Eine LaTeX-Rechnungsvorlage.☆154Updated 2 years ago
- A collection of chaos event / nerd culture related stickers.☆225Updated 3 weeks ago
- A list of german puns/dad jokes☆291Updated this week
- SVG-based Tool to Animate Maps of Public Transport Networks☆115Updated last year
- This is a nasty hack to enable the neo 2 keyboard layout in AWT/Swing based programs under X11 (e.g. Linux).☆30Updated 4 years ago
- Tichy-Klicker☆29Updated last month
- Polizeiliche Todesschüsse ab 1976☆12Updated last week
- Browser extension that adds context to certain German politicians☆79Updated last year
- Git auf deutsch☆1,269Updated last week