|
1281 |
Qualität von Softwaresystemen Malich, Stefan. - Wiesbaden : Gabler, 2008, 1. Aufl.
|
|
|
1282 |
Rationale based unified software engineering model Wolf, Timo. - Saarbrücken : VDM Verlag Dr. Müller, 2008
|
|
|
1283 |
Reconfigurable Petri systems with negative application conditions Rein, Alexander. - Berlin : TU, Professoren der Fak. IV, 2008
|
|
|
1284 |
Reduction methods for probabilistic model checking Größer, Marcus Thomas, 2008
|
|
|
1285 |
Relation graphs and contextual logic Hereth, Joachim, 2008
|
|
|
1286 |
Robust source coding based on forward error correcting codes (FEC source coding) Dütsch, Nicolas. - München : Verl. Dr. Hut, 2008, 1. Aufl.
|
|
|
1287 |
Robustness evaluation of operating systems Johansson, Andréas, 2008
|
|
|
1288 |
Sampling algorithms for evolving datasets Gemulla, Rainer, 2008
|
|
|
1289 |
SAT-based finite model generation for higher-order logic Weber, Tjark, 2008
|
|
|
1290 |
Secret sharing schemes on general access structures Beiter, Bernd Michael. - Aachen : Shaker, 2008
|
|