|
141 |
Reducing Size and Complexity of the Security-Critical Code Base of File Systems
Weinhold, Carsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
142 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
143 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
144 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
145 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
146 |
Supporting the Quality Assurance of a Scientific Framework
Remmel, Hanna. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
|
|
|
|
147 |
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Anjorin, Anthony. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
148 |
Synthesis of Synchronous Programs to Parallel Software Architectures
Baudisch, Daniel. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
149 |
Time-continuous behaviour comparison based on abstract models
Palczynski, Jacob. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
150 |
Trusted community
Klejnowski, Lukas. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2014
|
|
Administration
