|
571 |
Qualitative Spatial and Temporal Reasoning based on And/Or Linear Programming
Kreutzmann, Arne. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
|
|
572 |
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
|
|
|
|
573 |
Quality of Experience-driven Multi-Dimensional Video Adaptation
Zhang, Fan. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
574 |
Quantitative evaluation of network reliability
Le, Minh. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
575 |
Querying a Web of Linked Data
Hartig, Olaf. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2014
|
|
|
|
576 |
Rapid prototyping in der use-case-zentrierten Anforderungsanalyse
Hoffmann, Veit. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
577 |
Reasoning in Many Dimensions
Jung, Jean Christoph. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
|
|
578 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems
Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
579 |
Reducing Size and Complexity of the Security-Critical Code Base of File Systems
Weinhold, Carsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
580 |
Robust hybrid central/self-organising multi-agent systems in intersections without traffic lights
Chaaban, Yaser. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2014
|
|
Administration
