|
181 |
Extensible Languages for Flexible and Principled Domain Abstraction
Erdweg, Sebastian Thore. - Marburg : Philipps-Universität Marburg, 2013
|
|
|
|
182 |
Feingranulare Korrektheitsprüfung des Kontrollflusses von Echtzeitsystemen
Wolf, Julian. - Augsburg : Universität Augsburg, 2013
|
|
|
|
183 |
"Free Software, Free Society"?
Meyer, Silke. - Berlin : Freie Universität Berlin, 2013
|
|
|
|
184 |
Free Theorems in Languages with Real-World Programming Features
Seidel, Daniel. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
185 |
Full Virtual Machine State Reconstruction for Security Applications
Schneider, Christian A.. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
186 |
Gridification and workflow scheduling for the german D-grid
Sommerfeld, Dietmar. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2013
|
|
|
|
187 |
Impact of Localized Electromagnetic Field Measurements on Implementations of Asymmetric Cryptography
Heyszl, Johann. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
188 |
Improving the internal quality of software through reputation-based gamification
Prause, Christian Reinhard. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
189 |
Incremental Ontology-Based Integration for Translational Medical Research
Praßer, Fabian. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
190 |
Incremental Recomputations in Materialized Data Integration
Jörg, Thomas. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
Administration
