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☆22Updated 7 months ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated 10 months ago
- TUD-Script☆110Updated 5 months ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- Plan your week for the next semester.☆15Updated 11 months ago
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- Collecting kleine Anfragen from Parlamentsdokumentationssystemen for easy search- and linkability☆44Updated 4 years ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 2 months ago
- Online event coordination and survey application☆345Updated 11 months ago
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 2 months ago
- Statusseite für als nächstes anstehende Demonstrationen.☆10Updated 4 years ago
- Bist du schon drin?☆41Updated last month
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆36Updated 2 months ago
- Alle unsere Heißgetränke☆19Updated 2 years ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated last year
- A collection of openmensa.org parsers with feed v2 generator☆36Updated last year
- schiene is a Python library for interacting with Bahn.de☆57Updated 8 months ago
- 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
- AfD Blocker Browser Plugin☆283Updated 2 years ago
- Deutsche Bahn ticket price calendar.☆395Updated last week
- Traewelling-inspired journey logger with realtime data☆144Updated last week
- Zivilgesellschaftliche Beteiligung zu den „Sofortmaßnahmen Zweites Open Data Gesetz“☆96Updated 2 years ago
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- https://bahn.expert☆531Updated 2 weeks ago
- A LaTeX template for appeals to official notifications of agencies to (German) “Freedom of information” (FOI) requests, in German the Inf…☆12Updated 5 months ago
- Grundgesetz für die Bundesrepublik Deutschland☆519Updated 7 years ago
- Access to tolino cloud with Python 3☆79Updated 2 years ago
- ☆77Updated 8 months ago
- ☆88Updated last year
- ⚖️ Wir öffnen das Bundesgesetzblatt☆88Updated 2 years ago