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 6 months ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated 9 months ago
- TUD-Script☆107Updated 4 months ago
- 📦 Lernstoffsammlung der Informatik☆68Updated last month
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 3 years ago
- Plan your week for the next semester.☆15Updated 10 months ago
- A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.☆433Updated 3 weeks ago
- Alle unsere Heißgetränke☆19Updated 2 years ago
- AfD Blocker Browser Plugin☆283Updated 2 years ago
- 🚋 Query Dresden's public transport system for current bus- and tramstop data in python☆49Updated last year
- Bist du schon drin?☆40Updated 2 weeks ago
- Traewelling-inspired journey logger with realtime data☆137Updated this week
- Grundgesetz für die Bundesrepublik Deutschland☆515Updated 7 years ago
- Tichy-Klicker☆29Updated 2 months ago
- Motions, resolutions and amendments for political conventions☆103Updated this week
- Webseite zu dem DeinWal.de Projekt☆63Updated 2 years ago
- quality control for programming assignments☆46Updated last year
- Informationssammlung zum Thema CoVid-19☆220Updated 4 years ago
- Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen☆36Updated 3 weeks ago
- 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☆92Updated 2 years ago
- https://bahn.expert☆526Updated this week
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- Corporate Design der TU Dresden – beamer style and old poster class☆47Updated 3 years ago
- Free check-in service to log your public transit journeys☆258Updated this week
- DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest☆82Updated 4 years 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
- mahlowat ist die Implementierung eines Wahlpositionsvergleichswerkzeugs.☆59Updated 7 months ago
- Browser-based Tool to Visualize Public Transport Journeys☆62Updated last month
- LaTeX Templates for TU Darmstadt☆218Updated this week