|
551 |
Conjunctive queries, arithmetic circuits and counting complexity
Mengel, Stefan. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
552 |
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Hölzl, Johannes. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
553 |
Context-Sensitive Machine Learning for Intelligent Human Behavior Analysis
Wöllmer, Martin. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
554 |
Contextualized Recommendations for the Socio-Semantic Web
Schirru, Rafael. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
|
|
555 |
Contract Testing for Reliable Embedded Systems
Schmidlin Fajardo Silva, Raul. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
|
556 |
Contributions to Real-time Visual Tracking and Live Environment Modeling for Augmented Reality Applications
Lieberknecht, Sebastian. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
557 |
Contributions to Stereo Vision
Unger, Christian. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
558 |
Control and management plane helper functions for information-centric networks
Gajic, Borislava. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
559 |
Convex Optimization Methods for Single View 3D Reconstruction
Töppe, Eno. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
560 |
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013
|
|
Administration
