|
231 |
Semantic search for novel information Färber, Michael. - Berlin : AKA, [2017]
|
|
|
232 |
Semantic sentiment analysis in social streams Saif, Hassan. - Berlin : AKA, [2017], [1. Auflage]
|
|
|
233 |
Service level management in cloud computing Holloway, Melanie. - Wiesbaden : Springer Vieweg, [2017]
|
|
|
234 |
SMT-based validation & verification of UML-OCL models Przigoda, Nils. - Bremen, 2017
|
|
|
235 |
Software clones Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|
|
236 |
Static data flow analysis for android applications Arzt, Steven. - Darmstadt, Januar 2017
|
|
|
237 |
Static verification techniques for attributed graph transformations Deckwerth, Frederik. - Darmstadt, 2017
|
|
|
238 |
Statistical pattern recognition for biometric person identification and event detection Condurache, Alexandru Paul. - Waabs : GCA-Verlag, 2017, 1. Auflage
|
|
|
239 |
Systematic metric systems engineering Vianden, Matthias. - Aachen : Shaker, 2017, [1. Auflage]
|
|
|
240 |
Time of arrival based infrastructureless human posture capturing system Mekonnen, Zemene Walle. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|