|
221 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Appold, Christian. - Würzburg, 2015
|
|
|
222 |
Testing life cycle-related properties of mobile applications Franke, Dominik. - Aachen : Shaker, 2015
|
|
|
223 |
Tool support for integrated development of component-based embedded systems Kainz, Gerd. - München : Verlag Dr. Hut, 2015, 1. Auflage
|
|
|
224 |
Towards real-time SIEM-based network monitoring and intrusion detection throught event normalization Sadr-Azodi, Amir Shahab, [2015]
|
|
|
225 |
Trustworthy and efficient protection schemes for digital archiving Vigil, Martín Augusto Gagliotti, 2015
|
|
|
226 |
User-developer communication in large-scale IT projects Abelein, Ulrike, 2015
|
|
|
227 |
V-Modell XT und Wissensmanagement Gursch, Jennifer. - Lohmar : Eul, 2015, 1. Aufl.
|
|
|
228 |
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung Ammann, Christian, 2015
|
|
|
229 |
VITAL Zhang, Bo. - Stuttgart : Fraunhofer-Verl., 2015
|
|
|
230 |
Well-formed and scalable invasive software composition Karol, Sven, 2015
|
|