|
551 |
Software Idioms for Component-based and Topology-aware Simulation Assembly and Data Exchange in High Performance Computing and Visualisation Environments
Atanasov, Atanas. - München : Verlag Dr. Hut, 2014
|
|
|
|
552 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
553 |
Spatial Statistical Data Fusion on Java-enabled Machines in Ubiquitous Sensor Networks
Palafox-Albarrán, Javier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2014
|
|
|
|
554 |
Spherical visibility sampling
Eikel, Benjamin. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
555 |
Stability and Stabilization of Large-Scale Digital Networks
Sailer, Rudolf. - Würzburg : Universität Würzburg, 2014
|
|
|
|
556 |
Sub-word based language modeling of morphologically rich languages for LVCSR
Mousa, Amr Ibrahim El-Desoky. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
557 |
Supporting multi-device iteraction in the wild by exposing application state
Diehl, Jonathan. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
558 |
Supporting the Quality Assurance of a Scientific Framework
Remmel, Hanna. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
|
|
|
|
559 |
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Anjorin, Anthony. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
560 |
Synthesis of Synchronous Programs to Parallel Software Architectures
Baudisch, Daniel. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
Administration
