|
191 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
192 |
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
|
|
|
|
193 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
194 |
Supporting the Quality Assurance of a Scientific Framework
Remmel, Hanna. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
|
|
|
|
195 |
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Anjorin, Anthony. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
196 |
Synthesis of Synchronous Programs to Parallel Software Architectures
Baudisch, Daniel. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
197 |
Time-continuous behaviour comparison based on abstract models
Palczynski, Jacob. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
198 |
Trusted community
Klejnowski, Lukas. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2014
|
|
|
|
199 |
Usable Access Control
Beckerle, Matthias. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
200 |
Usage-dependent maintenance of structured Web data sets
Luczak-Rösch, Markus. - Berlin : Freie Universität Berlin, 2014
|
|
Administration
