|
321 |
Software idioms for component-based and topology-aware simulation assembly and data exchange in high performance computing and visualisation environments Atanasov, Atanas. - München : Verl. Dr. Hut, 2014, 1. Aufl.
|
|
|
322 |
Sound programm transformation based on symbolic execution and deduction Ji, Ran, 2014
|
|
|
323 |
Supporting the quality assurance of a scientific framework Remmel, Hanna, 2014
|
|
|
324 |
Synchronization of models on different abstraction levels using triple graph grammars Anjorin, Anthony, 2014
|
|
|
325 |
Tele-Board, supporting and analyzing creative collaboration in synchronous and asynchronous scenarios Gericke, Lutz, 2014
|
|
|
326 |
Transaktionale Unterstützung kollaborativer Applikationen Gropengießer, Francis. - Göttingen : Cuvillier, 2014, 1. Aufl.
|
|
|
327 |
Trust-aware agents for self-organising computing systems Bernard, Yvonne. - Aachen : Shaker, 2014
|
|
|
328 |
Trusted community Klejnowski, Lukas, 2014
|
|
|
329 |
Trustworthy reconfigurable systems Feller, Thomas. - Wiesbaden : Springer Vieweg, 2014
|
|
|
330 |
Usable access control Beckerle, Matthias, 2014
|
|