|
161 |
Biometric Cryptosystems
Sarıer, Deniz Neyire. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
162 |
Capacity Results for Classes of Wiretap Channels
Sommerfeld, Jochen. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
163 |
Code-based Identification and Signature Schemes
Yousfi Alaoui, Sidi Mohamed el. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
164 |
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
Semmelrock, Nils. - Mannheim : Universitätsbibliothek Mannheim, 2013
|
|
|
|
165 |
Composing Non-Functional Concerns in Web Services
Schmeling, Benjamin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
166 |
Composite Modeling based on Distributed Graph Transformation and the Eclipse Modeling Framework
Jurack, Stefan. - Marburg : Philipps-Universität Marburg, 2013
|
|
|
|
167 |
Compositional and Scheduler-Independent Information Flow Security
Sudbrock, Henning. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
168 |
Conjunctive queries, arithmetic circuits and counting complexity
Mengel, Stefan. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
169 |
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
170 |
Dependency discovery for data integration
Bauckmann, Jana. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
Administration
