Urlaub in Fuerteventura 2009
Montag 21. Dezember 2009, 23:52
Urlaub in Fuerteventura 2009
Montag 05. Oktober 2009, 18:07
.
Seminare
Montag 05. Oktober 2009, 16:09
Meine Ausarbeitungen zu den Seminaren Anwendung formaler Verifikationsmethoden auf eingebettete Systeme & Seminar über Automatentheorie im Hauptstudium sind nun zum Download unter RWTH-Stuff verfügbar.
Die Themen sind Validating Wireless Sensor Network Protocols & Planungsalgorithmen für LTL.
experimentelles Praktikum
Dienstag 24. März 2009, 14:58
Meine Ausarbeitung zum experimentellen Praktikum (Nebenfach Psychologie) im Hauptstudium zum Thema eHealth sind nun zum Download verfügbar.
Formelsammlung
Samstag 21. Februar 2009, 18:43
Dienstag 24. März 2009, 14:50
Es ist eine aktualisierte Version der Formelsammlung zu Numerisches Rechnen für Informatiker verfügbar.
Update 1:
Kapitel über gewöhnliche Differentialgleichungen umgeschrieben
Update 2:
Kapitel über Banachscher Fixpunktsatz, lineare Iterationsverfahren und Nützliches umgeschrieben
Update 3: (finale Version)
kleinere Korrekturen
Impressum