Katalog der Deutschen Nationalbibliothek

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

331 - 340 von 2952

	331	Model and Proof Theory of Constructive ALC, Constructive Description Logics Scheele, Stephan M.. - Bamberg : University of Bamberg Press, 2015
	332	Model-Based Runtime Adaptation of Resource Constrained Devices Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
	333	Model-based runtime adaption of resource constrained devices Saller, Karsten, 2015
	334	Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
	335	Model-integrating software components Derakhshanmanesh, Mahdi. - Wiesbaden : Springer Vieweg, 2015
	336	Model-supported process adoption and assessment in the context of multiple practice repositories Jeners, Simona C.. - Aachen : Shaker, 2015
	337	Model-supported Process Adoption and Assessment in the Context of Multiple Practice Repositories Jeners, Simona C.. - Aachen : Shaker, 2015, 1. Aufl.
	338	Modifizierte cross-parity codes zur schnellen Mehrbit-Fehlerkorrektur Hosp, Sven, 2015
	339	Novel attack patterns and protection measures for computing in high security environments Hanspach, Michael, 2015
	340	On formalizing UML and OCL features and their employment to runtime verification Hamann, Lars, 2015