|
641 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
642 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
643 |
SCTP - Evaluating, Improving and Extending the Protocol for Broader Deployment
Rüngeler, Irene. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2014, Stand: Neue Version 2014
|
|
|
|
644 |
Selektions- und Rezeptionsprozesse im Kommunikationsraum Museum
Donecker, Alexandra. - Berlin : Freie Universität Berlin, 2014
|
|
|
|
645 |
Semantic Segmentation with Efficient Tree-Based Methods
Fröhlich, Björn. - München : Verlag Dr. Hut, 2014
|
|
|
|
646 |
Serviceorientiertes Text Mining am Beispiel von Entitätsextrahierenden Diensten
Pfeifer, Katja. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
647 |
Sicherheit und Privatsphäre in Online Sozialen Netzwerken
Dürr, Michael. - München : Verlag Dr. Hut, 2014
|
|
|
|
648 |
Simplification problems for automata and games
Repke, Stefan. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
649 |
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
|
|
|
|
650 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
Administration
