|
311 |
Quality assurance of software models Arendt, Thorsten, 2014
|
|
|
312 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems Baldin, Daniel, 2014
|
|
|
313 |
Reducing size and complexity of the security-critical code base of file systems Weinhold, Carsten, 2014
|
|
|
314 |
Runtime adaptation of scientific service workflows Juhnke, Ernst, 2014
|
|
|
315 |
Runtime MPI correctness checking with a scalable tools infrastructure Hilbrich, Tobias, 2014
|
|
|
316 |
Schedulability tests for real-time uni- and multiprocessor systems Müller, Dirk. - Uelvesbüll : Der Andere Verl., 2014
|
|
|
317 |
Security via noninterference Eggert, Sebastian. - Kiel : Department of Computer Science, Univ., Theoretical Computer Science, 2014
|
|
|
318 |
Sicherheitsanalyse biometrischer, auf dem Software as a Service Prinzip basierender Authentifizierungssysteme Obergrusberger, Florian. - Köln : Kölner Wiss.-Verl, 2014
|
|
|
319 |
Situative Gestaltung des IT-Produktmanagements Peine, Katharina. - Lohmar : Eul, 2014, 1. Aufl.
|
|
|
320 |
Small TCBs of policy-controlled operating systems Pölck, Anja. - Ilmenau : Univ.-Verl., 2014
|
|