|
171 |
A model-based methodology for tool supported design of automated systems Hüfner, Martin. - Aachen : Shaker, 2015
|
|
|
172 |
A partial-inverse approach to decoding Reed-Solomon codes and polynomial remainder codes Yu, Jiun-Hung. - Konstanz : Hartung-Gorre, 2015, 1. ed.
|
|
|
173 |
Algebras for iteration, infinite executions and correctness of sequential computations Guttmann, Walter, 2015
|
|
|
174 |
Analyzing similarity of cloned software variants using hierarchical set models Duszyński, Sławomir. - Stuttgart : Fraunhofer-Verl., 2015
|
|
|
175 |
Anonymous distributed computing Seidel, Jochen. - Konstanz : Hartung-Gorre Verlag, 2015
|
|
|
176 |
Approaches to automatic text structuring Erbs, Nicolai, 2015
|
|
|
177 |
Artefact-based requirements engineering improvement Méndez Fernández, Daniel, 2015
|
|
|
178 |
Assessing and enhancing functional safety mechanisms for safety-critical software systems Piper, Thorsten, 2015
|
|
|
179 |
Auto-completion assistance for UML modeling activities Kuschke, Tobias. - Ilmenau, [2015]
|
|
|
180 |
Automatic SIMD vectorization of SSA-based control flow graphs Karrenberg, Ralf. - Wiesbaden : Springer Vieweg, 2015
|
|