|
521 |
Schriftentausch und digitaler Medienwandel Schmidt, Christian. - Berlin : Verlag BibSpider, [2017], [1. Auflage]
|
|
|
522 |
Semantic search for novel information Färber, Michael. - Berlin : AKA, [2017]
|
|
|
523 |
Semantic sentiment analysis in social streams Saif, Hassan. - Berlin : AKA, [2017], [1. Auflage]
|
|
|
524 |
Service level management in cloud computing Holloway, Melanie. - Wiesbaden : Springer Vieweg, [2017]
|
|
|
525 |
SMT-based validation & verification of UML-OCL models Przigoda, Nils. - Bremen, 2017
|
|
|
526 |
Software clones Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|
|
527 |
Softwareagenten-basierte Berechnung interdisziplinärer gekoppelter Simulationen Jüttner, Matthias. - Düsseldorf : VDI Verlag, 2017, Als Manuskript gedruckt
|
|
|
528 |
Static data flow analysis for android applications Arzt, Steven. - Darmstadt, Januar 2017
|
|
|
529 |
Static verification techniques for attributed graph transformations Deckwerth, Frederik. - Darmstadt, 2017
|
|
|
530 |
Statistical pattern recognition for biometric person identification and event detection Condurache, Alexandru Paul. - Waabs : GCA-Verlag, 2017, 1. Auflage
|
|