|
1 |
Full semantics preservation in model transformation Semenyak, Maria. - Münster : Verl.-Haus Monsenstein und Vannerdat, 2012
|
|
|
2 |
Algorithmik Schöning, Uwe. - Heidelberg : Spektrum, Akad. Verl., 2011, 1. Aufl., Nachdr.
|
|
|
3 |
Artificial immune systems Berlin : Springer, 2011
|
|
|
4 |
Combinatorics, algorithms, probabilistic and experimental methodologies Berlin : Springer, 2007
|
|
|
5 |
Pure and o-substitution Maletti, Andreas. - Dresden : TU, Fak. Informatik, 2006
|
|
|
6 |
Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006
|
|