|
511 |
Schedulability tests for real-time uni- and multiprocessor systems
Müller, Dirk. - Uelvesbüll : Der Andere Verl., 2014
|
|
|
|
512 |
Security via noninterference
Eggert, Sebastian. - Kiel : Department of Computer Science, Univ., Theoretical Computer Science, 2014
|
|
|
|
513 |
Sicherheitsanalyse biometrischer, auf dem Software as a Service Prinzip basierender Authentifizierungssysteme
Obergrusberger, Florian. - Köln : Kölner Wiss.-Verl, 2014
|
|
|
|
514 |
Situative Gestaltung des IT-Produktmanagements
Peine, Katharina. - Lohmar : Eul, 2014, 1. Aufl.
|
|
|
515 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
516 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Univ.-Verl., 2014
|
|
|
|
517 |
Software idioms for component-based and topology-aware simulation assembly and data exchange in high performance computing and visualisation environments
Atanasov, Atanas. - München : Verl. Dr. Hut, 2014, 1. Aufl.
|
|
|
|
518 |
Software Idioms for Component-based and Topology-aware Simulation Assembly and Data Exchange in High Performance Computing and Visualisation Environments
Atanasov, Atanas. - München : Verlag Dr. Hut, 2014
|
|
|
|
519 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
520 |
Sound programm transformation based on symbolic execution and deduction
Ji, Ran, 2014
|
|
Administration
