|
221 |
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
222 |
Dependency discovery for data integration
Bauckmann, Jana. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
223 |
Design of competitive paging algorithms with good behaviour in practice
Negoescu, Andrei Laurian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 2013
|
|
|
|
224 |
Detection, Classification and Visualization of Anomalies using Generalized Entropy Metrics
Tellenbach, Bernhard. - Aachen : Shaker, 2013, 1. Aufl.
|
|
|
|
225 |
Digitale Wasserzeichen zum Integritätsschutz von Videodaten
Thiemert, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
226 |
Distance-based similarity models for content-based multimedia retrieval
Beecks, Christian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
227 |
Effective and efficient similarity search in databases
Lange, Dustin. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
228 |
Efficiency and Implementation Security of Code-based Cryptosystems
Strenzke, Falko. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
229 |
Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung
Salinger, Stephan. - Berlin : Freie Universität Berlin, 2013
|
|
|
|
230 |
Engineering the User Experience of Web Products
Schulze, Katrin. - Ilmenau : TU Ilmenau, 2013
|
|
Administration
