Informatik-Kolloquium
Event name
Informatik-Kolloquium
Event type
Event for scientific audience
Start date
18-10-2006
Location
FernUniversität Hagen, Fakultät für Mathematik und Informatik
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Pflüger, Jörg-Martin | Eigentümliche Freiheiten oder Perversion von Sicherheit und Vertrauen | Präsentation Presentation | 2003 | |
| 2 | Knoop, Jens | From Trust to Proof - Beyond Verifying Functional Program Properties | Präsentation Presentation | 2009 | |
| 3 | Knoop, Jens | From Trust to Proof - Beyond Verifying Functional Program Properties | Präsentation Presentation | 2009 | |
| 4 | Frank, Andrew U. | Information Imperfection: The Ontological of Data Quality | Präsentation Presentation | 2006 |