Katalog der Deutschen Nationalbibliothek

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

131 - 140 von 1700

	131	Integrating symbolic execution, debugging and verification Hentschel, Martin. - Darmstadt, 2016
	132	Localized events in social media streams Abdelhaq, Hamed, 2016
	133	Mail infrastructure traffic analyzer Schäfer, Carlo. - Jena, 2016
	134	Methoden und Werkzeuge für die Entwicklung von Software im Kontext verteilter Ausführung Koch, Andreas. - Kassel : Kassel University Press, [2016]
	135	Methods to create, retrieve and apply cross-domain problem solutions Fülleborn, Alexander. - Aachen : Shaker Verlag, 2016, [1. Auflage]
	136	Model interoperability between meta-modeling environments by using m3-level-based bridges Kern, Heiko. - Leipzig, 2016
	137	Modellgetriebene generative Entwicklung von Web-Informationssystemen Reiß, Dirk. - Aachen : Shaker Verlag, 2016, [1. Auflage]
	138	Modellierung und Erkennung von technischen Fehlern mittels linearer und nichtlinearer Codes Nieß, Günther. - Potsdam, 24. Februar 2016
	139	Modelling the live migration time of virtual machines Rybina, Kateryna. - Dresden, [2016]
	140	MontiArc - architectural modeling and simulation of interactive distributed systems Haber, Arne. - Aachen : Shaker Verlag, 2016, [1. Auflage]