knowsys / TheoLogLinks
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
☆24Updated last year
Alternatives and similar repositories for TheoLog
Users that are interested in TheoLog are comparing it to the libraries listed below
Sorting:
- Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthal…☆18Updated 8 years ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- Traewelling-inspired journey logger with realtime data☆157Updated last week
- A LaTeX companion for PDF Presenter Console (pdfpc)☆20Updated 3 weeks ago
- https://bahn.expert☆569Updated 6 months ago
- collection of train plushies☆17Updated 4 months ago
- ☆76Updated last year
- A LaTeX package for typesetting (potentially long) recipes.☆40Updated 4 years ago
- ☆20Updated 7 years ago
- Android app for @Traewelling public transport check-in service☆106Updated 2 weeks ago
- ☆12Updated 5 months ago
- Der offizielle eID-Client des Bundes.☆610Updated last month
- Grundgesetz für die Bundesrepublik Deutschland☆529Updated 7 years ago
- Central hub for canteen information (meals, location ...)☆80Updated this week
- The Supreme Information Providing Application☆13Updated this week
- Online event coordination and survey application☆353Updated 5 months ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- Bist du schon drin?☆41Updated 7 months ago
- Customize enumerate, itemize and description☆55Updated 6 months ago
- Multi-platform messenger bot which provides updates on current COVID19 situation for Germany☆47Updated 2 years ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- CoraLibre-android-sdk fork of prestandard DP-3T to make compatible with the Google/Apple protocol☆127Updated 4 years ago
- XMPP bot that sends messages from the NINA app☆16Updated last year
- Free check-in service to log your public transit journeys☆317Updated this week
- Quick Folder Move Add-on for Thunderbird☆103Updated last month
- Android App Which Shows Details about CWA Exposures (Requires Root or CCTG or RaMBLE Apps)☆129Updated 3 years ago
- Zügli - train tickets to wallet passes☆131Updated last week
- Corporate Design der TU Dresden – beamer style and old poster class☆50Updated 4 years ago
- Mitschriften aus Vorlesungen (Mathematik/Informatik) an der Uni Jena☆16Updated 3 years ago
- Create privacy friendly and legal copies of your Ausweisdokument.☆183Updated 3 months ago