|
501 |
Reducing size and complexity of the security-critical code base of file systems
Weinhold, Carsten, 2014
|
|
|
502 |
Reducing Size and Complexity of the Security-Critical Code Base of File Systems
Weinhold, Carsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
503 |
Runtime Adaptation of Scientific Service Workflows
Juhnke, Ernst. - Marburg : Philipps-Universität Marburg, 2014
|
|
|
|
504 |
Runtime adaptation of scientific service workflows
Juhnke, Ernst, 2014
|
|
|
|
505 |
Runtime MPI correctness checking with a scalable tools infrastructure
Hilbrich, Tobias, 2014
|
|
|
|
506 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
507 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
508 |
Schedulability tests for real-time uni- and multiprocessor systems
Müller, Dirk. - Uelvesbüll : Der Andere Verl., 2014
|
|
|
|
509 |
Security via noninterference
Eggert, Sebastian. - Kiel : Department of Computer Science, Univ., Theoretical Computer Science, 2014
|
|
|
|
510 |
Sicherheitsanalyse biometrischer, auf dem Software as a Service Prinzip basierender Authentifizierungssysteme
Obergrusberger, Florian. - Köln : Kölner Wiss.-Verl, 2014
|
|
Administration
