|
251 |
Methods for the Diagnosis and Automatic Repair of Software Systems Kern, Christian. - München : Universitätsbibliothek der TU München, 2013
|
|
|
252 |
Mining and similarity search in temporal databases Kremer, Hardy. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
253 |
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien Cichos, Harald. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
254 |
Modellgetriebene Entwicklung von Kommunikationsprotokollen für drahtlos vernetzte Regelungssysteme Krämer, Marc. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
|
255 |
Monadic Parametricity of Second-Order Functionals Karbyshev, Aleksandr. - München : Universitätsbibliothek der TU München, 2013
|
|
|
256 |
Multi-Quality Auto-Tuning by Contract Negotiation Götz, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
257 |
Mutating Runtime Architectures as a Countermeasure Against Power Analysis Attacks Stöttinger, Marc Sebastian Patric. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
258 |
Normalization of Horn Clauses with Disequality Constraints Reuß, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
259 |
Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems Tian, Qizhi. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
260 |
Object-Oriented Graph Grammars for Computational Design Synthesis Helms, Bergen. - München : Universitätsbibliothek der TU München, 2013
|
|