Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

221 - 230 von 1700

	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