|
201 |
Monadic Parametricity of Second-Order Functionals
Karbyshev, Aleksandr. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
202 |
Multi-Quality Auto-Tuning by Contract Negotiation
Götz, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
203 |
Mutating Runtime Architectures as a Countermeasure Against Power Analysis Attacks
Stöttinger, Marc Sebastian Patric. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
204 |
Normalization of Horn Clauses with Disequality Constraints
Reuß, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
205 |
Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems
Tian, Qizhi. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
206 |
Object-Oriented Graph Grammars for Computational Design Synthesis
Helms, Bergen. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
207 |
On the Foundations of Key Exchange
Brzuska, Christopher. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
208 |
On the role of test sequence length, model refinement, and test coverage for reliability
Linschulte, Michael. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
209 |
On the Stability of Distribution Topologies in Peer-to-Peer Live Streaming Systems
Grau, Sascha. - Ilmenau : TU Ilmenau, 2013
|
|
|
|
210 |
Open Source Software for Train Control Applications and its Architectural Implications
Feuser, Johannes. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
|
|
Administration
