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