Katalog der Deutschen Nationalbibliothek

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

361 - 370 von 2952

	361	Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Appold, Christian. - Würzburg, 2015
	362	Testing life cycle-related properties of mobile applications Franke, Dominik. - Aachen : Shaker, 2015
	363	Testing life cycle-related properties of mobile applications Franke, Dominik. - Aachen : Universitätsbibliothek der RWTH Aachen, 2015
	364	Testing Life Cycle-related Properties of Mobile Applications Franke, Dominik. - Aachen : Shaker, 2015, 1. Aufl.
	365	Tool support for integrated development of component-based embedded systems Kainz, Gerd. - München : Verlag Dr. Hut, 2015, 1. Auflage
	366	Tool Support for Integrated Development of Component-Based Embedded Systems Kainz, Gerd. - München : Verlag Dr. Hut, 2015
	367	Towards real-time SIEM-based network monitoring and intrusion detection throught event normalization Sadr-Azodi, Amir Shahab, [2015]
	368	Trustworthy and Efficient Protection Schemes for Digital Archiving Vigil, Martín Augusto Gagliotti. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
	369	Trustworthy and efficient protection schemes for digital archiving Vigil, Martín Augusto Gagliotti, 2015
	370	User-developer communication in large-scale IT projects Abelein, Ulrike, 2015