|
541 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
542 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
543 |
SCTP - Evaluating, Improving and Extending the Protocol for Broader Deployment
Rüngeler, Irene. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2014, Stand: Neue Version 2014
|
|
|
|
544 |
Semantic Segmentation with Efficient Tree-Based Methods
Fröhlich, Björn. - München : Verlag Dr. Hut, 2014
|
|
|
|
545 |
Serviceorientiertes Text Mining am Beispiel von Entitätsextrahierenden Diensten
Pfeifer, Katja. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
546 |
Sicherheit und Privatsphäre in Online Sozialen Netzwerken
Dürr, Michael. - München : Verlag Dr. Hut, 2014
|
|
|
|
547 |
Simplification problems for automata and games
Repke, Stefan. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
548 |
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
|
|
|
|
549 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
550 |
Smart views in smart meeting rooms
Radloff, Axel. - Rostock : Universität Rostock, 2014
|
|
Administration
