|
961 |
Representation and parallelization techniques for classical planning
Schmidt, Tim-Christian. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
962 |
Resource Constrained Video Coding Systems
Zia, Waqar. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
963 |
Rhythm Information for Automated Spoken Language Identification
Timoshenko, Ekaterina. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
964 |
Robust Single-Shot Structured Light 3D Scanning
Schmalz, Christoph. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|
|
|
965 |
Runtime integrity framework based on trusted computing
Suen, Chun Hui. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
966 |
SAT encodings
Fuhs, Carsten. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
967 |
Scaling Up Description Logic Reasoning by Distributed Resolution
Schlicht, Anne. - Mannheim : Universitätsbibliothek Mannheim, 2012
|
|
|
|
968 |
Scheduling algorithms for saving energy and balancing load
Antoniadis, Antonios. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012
|
|
|
|
969 |
Scrutable adaptive in community-enabled web portals
Bakalov, Fedor. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2012
|
|
|
|
970 |
SEMANTICS-AWARE PLANNING METHODOLOGY FOR AUTOMATIC WEB SERVICE COMPOSITION
Leng, Yan. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
|
|
Administration
