Katalog der Deutschen Nationalbibliothek

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

331 - 340 von 2943

	331	Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
	332	Model-integrating software components Derakhshanmanesh, Mahdi. - Wiesbaden : Springer Vieweg, 2015
	333	Model-supported process adoption and assessment in the context of multiple practice repositories Jeners, Simona C.. - Aachen : Shaker, 2015
	334	Model-supported Process Adoption and Assessment in the Context of Multiple Practice Repositories Jeners, Simona C.. - Aachen : Shaker, 2015, 1. Aufl.
	335	Modifizierte cross-parity codes zur schnellen Mehrbit-Fehlerkorrektur Hosp, Sven, 2015
	336	Novel attack patterns and protection measures for computing in high security environments Hanspach, Michael, 2015
	337	On formalizing UML and OCL features and their employment to runtime verification Hamann, Lars, 2015
	338	On Formalizing UML and OCL Features and Their Employment to Runtime Verification Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
	339	On Privacy-Preserving Protocols for Smart Metering Systems Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
	340	On privacy-preserving protocols for smart metering systems Borges de Oliveira, Fábio, 2015