|
161 |
Static data flow analysis for android applications Arzt, Steven. - Darmstadt, Januar 2017
|
|
|
162 |
Static Verification Techniques for Attributed Graph Transformations Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
163 |
Static verification techniques for attributed graph transformations Deckwerth, Frederik. - Darmstadt, 2017
|
|
|
164 |
Systematic metric systems engineering Vianden, Matthias. - Aachen : Shaker, 2017, [1. Auflage]
|
|
|
165 |
Systematic Metric Systems Engineering Vianden, Matthias. - Aachen : Shaker, 2017, 1. Auflage
|
|
|
166 |
A functional, comprehensive and extensible multi-platform querying and transformation approach Horn, Tassilo. - Berlin : Logos Verlgag Berlin GmbH, [2016]
|
|
|
167 |
A3ME - device-agent based middleware for mixed mode envirnoments Herzog, Arthur, 2016
|
|
|
168 |
A3ME – Device-Agent based Middleware for Mixed Mode Environments Herzog, Arthur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
169 |
Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum Sobiech, Fabian. - Wiesbaden : Springer, [2016]
|
|
|
170 |
Abstractions for performance programming on multi-core architectures with hierarchial memory Terboven, Christian. - Aachen : Apprimus Verlag, 2016, 1. Auflage
|
|