|
481 |
Spezifikation von Software-Modulen Bogićević, Ivan. - Aachen : Shaker Verlag, 2016
|
|
|
482 |
Stability preservation for parametric model order reduction by matrix interpolation Barthlen, Andreas. - Göttingen : Cuvillier Verlag, 2016, 1. Auflage
|
|
|
483 |
Stereo vision for facet type cameras Jiang, Tao. - Berlin : Logos Verlag, [2016]
|
|
|
484 |
Stochastic optimisation methods and pattern search algorithms for augmented reality videoconferencing Lehment, Nicolas H.. - München : Verlag Dr. Hut, [2016], 1. Auflage
|
|
|
485 |
Supporting communication in spatially distributed groups Ven, Jasper van de. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2016]
|
|
|
486 |
Supporting graph editing in visual representations Gladisch, Stefan. - Rostock, [2016]
|
|
|
487 |
System support for security and privacy in pervasive computing Apolinarski, Wolfgang. - Berlin : Logos Verlag Berlin GmbH, [2016]
|
|
|
488 |
Test and diagnosis of embedded processor cores with formal methods Riefert, Andreas. - Uelvesbüll : Der Andere Verlag, 2016
|
|
|
489 |
Textarbeit in der geisteswissenschaftlichen Lehre Centeno Garcia, Anja. - Berlin : Frank & Timme, [2016]
|
|
|
490 |
The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words Feng, Shiguang. - Leipzig, [2016]
|
|