|
241 |
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Pape, Tobias. - Potsdam : Universität Potsdam, 2013
|
|
|
|
242 |
Extensible Languages for Flexible and Principled Domain Abstraction
Erdweg, Sebastian Thore. - Marburg : Philipps-Universität Marburg, 2013
|
|
|
|
243 |
Feingranulare Korrektheitsprüfung des Kontrollflusses von Echtzeitsystemen
Wolf, Julian. - Augsburg : Universität Augsburg, 2013
|
|
|
|
244 |
"Free Software, Free Society"?
Meyer, Silke. - Berlin : Freie Universität Berlin, 2013
|
|
|
|
245 |
Free Theorems in Languages with Real-World Programming Features
Seidel, Daniel. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
246 |
Full Virtual Machine State Reconstruction for Security Applications
Schneider, Christian A.. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
247 |
Goal-scenario-oriented requirements engineering for functional decomposition with bidirectional transformation to controlled natural language
Daun, Marian. - Duisburg : Universität Duisburg-Essen, 2013
|
|
|
|
248 |
Gridification and workflow scheduling for the german D-grid
Sommerfeld, Dietmar. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2013
|
|
|
|
249 |
Impact of Localized Electromagnetic Field Measurements on Implementations of Asymmetric Cryptography
Heyszl, Johann. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
250 |
Improving the internal quality of software through reputation-based gamification
Prause, Christian Reinhard. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
Administration
