|
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
|
|
Administration
