Katalog der Deutschen Nationalbibliothek

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

231 - 240 von 1709

	231	Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung Ammann, Christian, 2015
	232	VITAL Zhang, Bo. - Stuttgart : Fraunhofer-Verl., 2015
	233	Well-formed and scalable invasive software composition Karol, Sven, 2015
	234	A model-based approach for the specification and refinement of streaming applications Zebelein, Christian, 2014
	235	A unified model for artifact-based software process improvment & management Kuhrmann, Marco, (2014)
	236	Active intrusion detection for wireless multihop networks Carmo, Rodrigo Daniel do, 2014
	237	Ad-hoc-Bewertung von Open-source-Komponenten in der Softwareentwicklung Kram, Steffen, 2014
	238	Ad-hoc-Datentransformationen für analytische Informationssysteme Lüpkes, Christian. - Edewecht : OlWIR, Oldenburger Verl. für Wirtschaft, Informatik und Recht, 2014
	239	Algorithms for efficient top-down join enumeration Fender, Pit, 2014
	240	An assessment of applications and performance analysis of software defined networking Jarschel, Michael. - Würzburg : Inst. für Informatik, Lehrstuhl für Kommunikationsnetze, 2014