Burkhardt Renz
Technische Hochschule Mittelhessen
Fachbereich MNI
Gebäude A20 1.21
Wiesenstr. 14
D-35390 Gießen
Tel 0641/309 2393
Burkhardt.Renz
Schwerpunkte
Softwaretechnik – Formale Methoden
Datenbanksysteme – Relationale Logik
Aktuelles
Sprechstunde im Sommersemester 2021:
Vereinbarung per E-Mail
Veranstaltungen
Sommersemester 2021
Datenbanksysteme (BSc)
Datenbanken und Informationssysteme (MSc)
Frühere Semester
Wissenschaftliches Arbeiten in der Informatik (BSc)
Datenbanksysteme (BSc)
Softwaretechnik (BSc)
Funktionale Programmierung (BSc)
Logik und formale Methoden (MSc)
Datenbanken und Informationssysteme (MSc)
Architektur und Implementierung eines Datenbankmanagementsystems (MSc)
Softwarearchitektur und Anwendungsentwicklung (MSc)
Softwareanforderungsanalyse (MSc)
Programmieren in Clojure (MSc)
Forschung, Projekte und Publikationen
Softwaretechnik
Softwarearchitektur
Logic Workbench LWB
Tutorials, Beispiele und Experimente mit Coq
MNI Macro Processor MMP
eBC eBooks Collection Toolbox
Redaktionssystem Modulkatalog RedMoK
Elektronisches Personenstandsregister XPSR
Publikationen
Institut für SoftwareArchitektur
Archiv
Miscellanea
Schreiben für die Leser
Dokumentation von DTDs
Vim