|
441 |
Qualitative Spatial and Temporal Reasoning based on And/Or Linear Programming
Kreutzmann, Arne. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
|
|
442 |
Quality Assurance of Software Models - A Structured Quality Assurance Process Supported by a Flexible Tool Environment in the Eclipse Modeling Project
Arendt, Thorsten. - Marburg : Philipps-Universität Marburg, 2014
|
|
|
|
443 |
Quality of Experience-driven Multi-Dimensional Video Adaptation
Zhang, Fan. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
444 |
Quantitative evaluation of network reliability
Le, Minh. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
445 |
Querying a Web of Linked Data
Hartig, Olaf. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2014
|
|
|
|
446 |
Rapid prototyping in der use-case-zentrierten Anforderungsanalyse
Hoffmann, Veit. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
447 |
Reasoning in Many Dimensions
Jung, Jean Christoph. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
|
|
448 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems
Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
449 |
Reducing Size and Complexity of the Security-Critical Code Base of File Systems
Weinhold, Carsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
450 |
Robust Real-time Vision-based Human Detection and Tracking
Leu, Adrian. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
Administration
