|
451 |
Scalable Automated Incrementalization for Real-Time Static Analyses
Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
452 |
Schedulability Tests for Real-Time Uni- and Multiprocessor Systems
Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
|
|
|
|
453 |
SCTP - Evaluating, Improving and Extending the Protocol for Broader Deployment
Rüngeler, Irene. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2014, Stand: Neue Version 2014
|
|
|
|
454 |
Selektions- und Rezeptionsprozesse im Kommunikationsraum Museum
Donecker, Alexandra. - Berlin : Freie Universität Berlin, 2014
|
|
|
|
455 |
Serviceorientiertes Text Mining am Beispiel von Entitätsextrahierenden Diensten
Pfeifer, Katja. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
|
|
456 |
Simplification problems for automata and games
Repke, Stefan. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
457 |
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
|
|
|
|
458 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
459 |
Smart views in smart meeting rooms
Radloff, Axel. - Rostock : Universität Rostock, 2014
|
|
|
|
460 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
Administration
