|
221 |
Compositional and Scheduler-Independent Information Flow Security
Sudbrock, Henning. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
222 |
Conjunctive queries, arithmetic circuits and counting complexity
Mengel, Stefan. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
223 |
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
224 |
Dependency discovery for data integration
Bauckmann, Jana. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
225 |
Design of competitive paging algorithms with good behaviour in practice
Negoescu, Andrei Laurian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 2013
|
|
|
|
226 |
Detection, Classification and Visualization of Anomalies using Generalized Entropy Metrics
Tellenbach, Bernhard. - Aachen : Shaker, 2013, 1. Aufl.
|
|
|
|
227 |
Digitale Wasserzeichen zum Integritätsschutz von Videodaten
Thiemert, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
228 |
Distance-based similarity models for content-based multimedia retrieval
Beecks, Christian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
229 |
Effective and efficient similarity search in databases
Lange, Dustin. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
230 |
Efficiency and Implementation Security of Code-based Cryptosystems
Strenzke, Falko. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
Administration
