Katalog der Deutschen Nationalbibliothek

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

81 - 90 von 1700

	81	Real-world aspects of secure channels Marson, Giorgia Azzurra. - Darmstadt, 2017
	82	[Designing ICT tools for researching information infrastructures] Researching complex information infrastructures Ludwig, Thomas. - Wiesbaden : Springer, [2017]
	83	SMT-based validation & verification of UML-OCL models Przigoda, Nils. - Bremen, 2017
	84	Software clones Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
	85	Static data flow analysis for android applications Arzt, Steven. - Darmstadt, Januar 2017
	86	Static verification techniques for attributed graph transformations Deckwerth, Frederik. - Darmstadt, 2017
	87	Systematic metric systems engineering Vianden, Matthias. - Aachen : Shaker, 2017, [1. Auflage]
	88	A functional, comprehensive and extensible multi-platform querying and transformation approach Horn, Tassilo. - Berlin : Logos Verlgag Berlin GmbH, [2016]
	89	A3ME - device-agent based middleware for mixed mode envirnoments Herzog, Arthur, 2016
	90	Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum Sobiech, Fabian. - Wiesbaden : Springer, [2016]