Katalog der Deutschen Nationalbibliothek

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

381 - 390 von 1709

	381	Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung Salinger, Stephan, 2013
	382	Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung zur Präzisierung petrinetzbasierter Verifikationsmodelle Heinze, Thomas, 2013
	383	Enriching the Web of Data with topics and links Böhm, Christoph, 2013
	384	Ensemble-based programming for scientific applications Huang, Haowei, 2013
	385	Entwicklung eines Modelica Compiler BackEnds für große Modelle Frenkel, Jens, 2013
	386	Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen Koycheva, Evelina. - München : Oldenbourg, 2013
	387	Extensible languages for flexible and principled domain abstraction Erdweg, Sebastian Thore, 2013
	388	Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis Höfig, Kai Bodo. - Stuttgart : Fraunhofer-Verl., 2013
	389	Forensic acquisition and analysis of volatile data in memory=Forensische Sicherung und Auswertung flüchtiger Daten im Hauptspeicher Vömel, Stefan, 2013
	390	Formal specification level Soeken, Mathias, 2013