|
441 |
Robust Real-time Vision-based Human Detection and Tracking
Leu, Adrian. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
|
|
442 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
443 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
444 |
SCTP - Evaluating, Improving and Extending the Protocol for Broader Deployment
Rüngeler, Irene. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2014, Stand: Neue Version 2014
|
|
|
|
445 |
Serviceorientiertes Text Mining am Beispiel von Entitätsextrahierenden Diensten
Pfeifer, Katja. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
446 |
Simplification problems for automata and games
Repke, Stefan. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
447 |
Six Degrees of Freedom Object Pose Estimation with Fusion Data from a Time-of-flight Camera and a Color Camera
Sun, Kaipeng. - Würzburg : Universität Würzburg, 2014
|
|
|
|
448 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
449 |
Smart views in smart meeting rooms
Radloff, Axel. - Rostock : Universität Rostock, 2014
|
|
|
|
450 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
Administration
