|
741 |
Szeneninterpretation unter Verwendung multimodaler Sensorik und Salienzmaßen
Müller, Markus. - Karlsruhe : KIT-Bibliothek, 2013
|
|
|
|
742 |
Tensor factorization for relational learning
Nickel, Maximilian. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
|
|
|
|
743 |
Test-driven fault navigation for debugging reproducible failures
Perscheid, Michael. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
744 |
Test Set Optimization for Industrial SRAM Testing
Linder, Michael. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
745 |
The algorithmic beauty of cities
Krecklau, Lars. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
746 |
The quantitative µ-calculus
Fischer, Diana. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
747 |
The tutor-in-the-loop model for formative assessment
Herding, Daniel Chu. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
748 |
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
749 |
Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded Multi-Cores
Gerdes, Mike. - Augsburg : Universität Augsburg, 2013
|
|
|
|
750 |
Towards practical and fundamental limits of anonymity protection
Pham, Dang Vinh. - Regensburg : Universitätsbibliothek Regensburg, 2013
|
|
Administration
