Katalog der Deutschen Nationalbibliothek

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

81 - 90 von 1709

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