|
541 |
Compositional Synthesis and Most General Controllers Klein, Joachim. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
542 |
Computational Steering with Reduced Complexity Butnaru, Daniel. - München : Universitätsbibliothek der TU München, 2013
|
|
|
543 |
Conjunctive queries, arithmetic circuits and counting complexity Mengel, Stefan. - Paderborn : Universitätsbibliothek, 2013
|
|
|
544 |
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic Hölzl, Johannes. - München : Universitätsbibliothek der TU München, 2013
|
|
|
545 |
Context-Sensitive Machine Learning for Intelligent Human Behavior Analysis Wöllmer, Martin. - München : Universitätsbibliothek der TU München, 2013
|
|
|
546 |
Contextualized Recommendations for the Socio-Semantic Web Schirru, Rafael. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
|
547 |
Contract Testing for Reliable Embedded Systems Schmidlin Fajardo Silva, Raul. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
548 |
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
|
|
|
549 |
Contributions to Stereo Vision Unger, Christian. - München : Universitätsbibliothek der TU München, 2013
|
|
|
550 |
Control and management plane helper functions for information-centric networks Gajic, Borislava. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|