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 8 months ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated 11 months ago
- TUD-Script☆108Updated 7 months ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 4 months ago
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 3 months ago
- Grundgesetz für die Bundesrepublik Deutschland☆520Updated 7 years ago
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆93Updated 2 years ago
- A clean REST API wrapping around the Deutsche Bahn API.☆95Updated last week
- Bist du schon drin?☆41Updated 2 months ago
- Plan your week for the next semester.☆16Updated last year
- 🚋 Query Dresden's public transport system for current bus- and tramstop data in python☆50Updated last year
- SVG-based Tool to Animate Maps of Public Transport Networks☆110Updated last year
- collection of train plushies☆15Updated last week
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆37Updated 3 months ago
- ☆28Updated this week
- Grafische Programmierumgebung. Zum spielerischen Erlernen von Programmierkonzepten. Basiert auf Scratch vom MIT☆119Updated 6 months ago
- Alle unsere Heißgetränke☆19Updated 2 years ago
- Tichy-Klicker☆29Updated 4 months ago
- A list of german puns/dad jokes☆286Updated 2 months ago
- A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.☆440Updated 3 months ago
- Traewelling-inspired journey logger with realtime data☆146Updated this week
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated last year
- Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …☆82Updated last year
- JavaScript client for HAFAS public transport APIs.☆293Updated 2 weeks ago
- API Documentation for BahnBonus, the loyality system of DB☆25Updated 6 years ago
- Find journey prices using the DB Sparpreise API.☆103Updated 4 years ago
- mahlowat ist die Implementierung eines Wahlpositionsvergleichswerkzeugs.☆62Updated 10 months ago
- The Supreme Information Providing Application☆13Updated this week