Katalog der Deutschen Nationalbibliothek

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

151 - 160 von 2948

	151	Qualitative reliability analysis of software-controlled systems using state/event fault trees Roth, Michael. - Stuttgart : Fraunhofer Verlag, [2017]
	152	Quantum Security of Cryptographic Primitives Gagliardoni, Tommaso. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
	153	Quantum security of cryptographic primitives Gagliardoni, Tommaso. - Darmstadt, 2017
	154	Real-world aspects of secure channels Marson, Giorgia Azzurra. - Darmstadt, 2017
	155	Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security Marson, Giorgia Azzurra. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
	156	[Designing ICT tools for researching information infrastructures] Researching complex information infrastructures Ludwig, Thomas. - Wiesbaden : Springer, [2017]
	157	Schema matching and mapping-based data integration Do, Hong-Hai. - Leipzig : Universitätsbibliothek Leipzig, 2017
	158	SMT-based validation & verification of UML-OCL models Przigoda, Nils. - Bremen, 2017
	159	Software clones Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
	160	Static Data Flow Analysis for Android Applications Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017