|
221 |
Composing Non-Functional Concerns in Web Services
Schmeling, Benjamin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
222 |
Composite Modeling based on Distributed Graph Transformation and the Eclipse Modeling Framework
Jurack, Stefan. - Marburg : Philipps-Universität Marburg, 2013
|
|
|
|
223 |
Compositional and Scheduler-Independent Information Flow Security
Sudbrock, Henning. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
224 |
Conjunctive queries, arithmetic circuits and counting complexity
Mengel, Stefan. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
225 |
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
226 |
Dependency discovery for data integration
Bauckmann, Jana. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
227 |
Design for a testing model of a communication subsystem for a safety-critical control system
Špendla, Lukáš. - Ilmenau : Universitätsbibliothek Ilmenau, 2013
|
|
|
|
228 |
Design of competitive paging algorithms with good behaviour in practice
Negoescu, Andrei Laurian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 2013
|
|
|
|
229 |
Digitale Wasserzeichen zum Integritätsschutz von Videodaten
Thiemert, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
230 |
Distance-based similarity models for content-based multimedia retrieval
Beecks, Christian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
Administration
