|
1221 |
PolyAPM - comparative parallel programming with abstract parallel machines Ellmenreich, Nils, 2004
|
|
|
1222 |
Query evaluation techniques for data integration systems Wiesner, Christian, 2004
|
|
|
1223 |
UML-based test specification for communication systems Ebner, Michael, 2004
|
|
|
1224 |
Generische Joinverarbeitung am Beispiel des Similarity-Join Dittrich, Jens, [2003]
|
|
|
1225 |
Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte Sarferaz, Siar, 2003
|
|
|
1226 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
1227 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
1228 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
1229 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|