|
201 |
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien
Cichos, Harald. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
202 |
Modellgetriebene Entwicklung von Kommunikationsprotokollen für drahtlos vernetzte Regelungssysteme
Krämer, Marc. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
|
|
203 |
Monadic Parametricity of Second-Order Functionals
Karbyshev, Aleksandr. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
204 |
Multi-Quality Auto-Tuning by Contract Negotiation
Götz, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
205 |
Mutating Runtime Architectures as a Countermeasure Against Power Analysis Attacks
Stöttinger, Marc Sebastian Patric. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
206 |
Normalization of Horn Clauses with Disequality Constraints
Reuß, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
207 |
Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems
Tian, Qizhi. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
208 |
Object-Oriented Graph Grammars for Computational Design Synthesis
Helms, Bergen. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
209 |
On the Foundations of Key Exchange
Brzuska, Christopher. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
210 |
On the role of test sequence length, model refinement, and test coverage for reliability
Linschulte, Michael. - Paderborn : Universitätsbibliothek, 2013
|
|
Administration
