|
261 |
Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels
Vogel, Thomas. - Potsdam : Universität Potsdam, 2013
|
|
|
|
262 |
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien
Cichos, Harald. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
263 |
Modellgetriebene Entwicklung von Kommunikationsprotokollen für drahtlos vernetzte Regelungssysteme
Krämer, Marc. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
|
|
264 |
Monadic Parametricity of Second-Order Functionals
Karbyshev, Aleksandr. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
265 |
Multi-Quality Auto-Tuning by Contract Negotiation
Götz, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
266 |
Mutating Runtime Architectures as a Countermeasure Against Power Analysis Attacks
Stöttinger, Marc Sebastian Patric. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
267 |
Normalization of Horn Clauses with Disequality Constraints
Reuß, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
268 |
Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems
Tian, Qizhi. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
269 |
Object-Oriented Graph Grammars for Computational Design Synthesis
Helms, Bergen. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
270 |
On the Foundations of Key Exchange
Brzuska, Christopher. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
Administration
