|
431 |
Autonomic- und Organic-Computing-Techniken für eingebettete Echtzeitsysteme Kluge, Florian, 2010, [Online-Ausg.]
|
|
|
432 |
Beiträge zur Unterstützung von IT-Sourcing-Entscheidungen Gull, Daniel, 2010
|
|
|
433 |
Colored model based testing for software product lines(CMBT-SWPL) Farrag, Manal. - Ilmenau : Universitätsbibliothek Ilmenau, 2010
|
|
|
434 |
Community driven data grids Scholl, Tobias, 2010
|
|
|
435 |
Component-based model-driven software development Johannes, Jendrik, 2010
|
|
|
436 |
Connected information management Rauschmayer, Axel, 2010
|
|
|
437 |
Cryptanalysis and Design of Symmetric Primitives Gorski, Michael. - Weimar : Professur Mediensicherheit, 2010
|
|
|
438 |
Datenparallele algorithmische Skelette Ciechanowicz, Philipp. - [Münster] : [Univ.-und Landesbibliothek], 2010, [Online-Ausg.]
|
|
|
439 |
Decomposition for compositional verification Metzler, Björn, 2010
|
|
|
440 |
Definition and configuration of reliable event detection for application in wireless sensor networks Ortmann, Steffen, 2010
|
|