|
1191 |
Query evaluation techniques for data integration systems Wiesner, Christian, 2004
|
|
|
1192 |
Generische Joinverarbeitung am Beispiel des Similarity-Join Dittrich, Jens, [2003]
|
|
|
1193 |
Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte Sarferaz, Siar, 2003
|
|
|
1194 |
C++-Referenzkarten Aachen : M. Henne, 2002
|
|
|
1195 |
Coupling distributed Fortran applications using C++ wrappers and the corba sequence type Slawig, Thomas. - [Potsdam] : [PIK], 2000, [Online-Ausg.]
|
|
|
1196 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
1197 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
1198 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
1199 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
1200 |
Formal derivation of pointer algorithms Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
|
|