| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Formale Methoden für sicherheitskritische Software – Der KIV-Ansatz
|
Reif, Wolfgang
|
|
1999
|
14 |
4 |
p. 193-202
|
article
|
| 2 |
Formale Methoden für sicherheitskritische Software – Der KIV-Ansatz
|
Reif, Wolfgang
|
|
1999
|
14 |
4 |
p. 193-202
|
article
|
| 3 |
REGINA, die Informatik-Kooperation der Region Aachen
|
Pasedach, Klaus
|
|
1999
|
14 |
4 |
p. 227-229
|
article
|
| 4 |
REGINA, die Informatik-Kooperation der Region Aachen
|
Pasedach, Klaus
|
|
1999
|
14 |
4 |
p. 227-229
|
article
|
| 5 |
Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse
|
Schmitt, Ingo
|
|
1999
|
14 |
4 |
p. 218-226
|
article
|
| 6 |
Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse
|
Schmitt, Ingo
|
|
1999
|
14 |
4 |
p. 218-226
|
article
|
| 7 |
Verschachtelter Datenparallelismus – Ein einführender Überblick
|
Pfannenstiel, W.
|
|
1999
|
14 |
4 |
p. 179-192
|
article
|
| 8 |
Verschachtelter Datenparallelismus – Ein einführender Überblick
|
Pfannenstiel, W.
|
|
1999
|
14 |
4 |
p. 179-192
|
article
|
| 9 |
Verteilungsmodelle für Workflow-Management-Systeme – Klassifikation und Simulation
|
Bauer, Thomas
|
|
1999
|
14 |
4 |
p. 203-217
|
article
|
| 10 |
Verteilungsmodelle für Workflow-Management-Systeme – Klassifikation und Simulation
|
Bauer, Thomas
|
|
1999
|
14 |
4 |
p. 203-217
|
article
|
Journal description