Katalog der Deutschen Nationalbibliothek

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

201 - 210 von 1700

	201	Model and proof theory of constructive ALC Scheele, Stephan M.. - Bamberg : Univ. of Bamberg Press, 2015
	202	Model-based runtime adaption of resource constrained devices Saller, Karsten, 2015
	203	Model-integrating software components Derakhshanmanesh, Mahdi. - Wiesbaden : Springer Vieweg, 2015
	204	Model-supported process adoption and assessment in the context of multiple practice repositories Jeners, Simona C.. - Aachen : Shaker, 2015
	205	Modifizierte cross-parity codes zur schnellen Mehrbit-Fehlerkorrektur Hosp, Sven, 2015
	206	Novel attack patterns and protection measures for computing in high security environments Hanspach, Michael, 2015
	207	On formalizing UML and OCL features and their employment to runtime verification Hamann, Lars, 2015
	208	On privacy-preserving protocols for smart metering systems Borges de Oliveira, Fábio, 2015
	209	On the utility of higher order fault models for fault injections Winter, Stefan, 2015
	210	Platzierung von Softwarekomponenten auf Mehrkernprozessoren Hilbrich, Robert. - Wiesbaden : Springer Vieweg, 2015