Katalog der Deutschen Nationalbibliothek

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

421 - 430 von 1709

	421	Normalization of Horn clauses with disequality constraints Reuß, Andreas, 2013
	422	Novel power trace processing methods for side-channel analysis of cryptosystems Qizhi, Tian, 2013
	423	Object-oriented graph grammars for computational design synthesis Helms, Bergen, 2013
	424	On the foundations of key exchange Brzuska, Christopher, 2013
	425	On the role of test sequence length, model refinement, and test coverage for reliability Linschulte, Michael, 2013
	426	On the security off full disk encryption Müller, Tilo, 2013
	427	Optimizing the completeness of textual requirements documents in practice Menzel, Igor. - Stuttgart : Fraunhofer-Verl., 2013
	428	Performance-Modellierung und Simulation eines SAP-Netweaver-Portal-Systems Mayer, Manuel, 2013
	429	Physically uncloneable functions in the stand-alone and universally composable framework Schröder, Heike, 2013
	430	Planning and Verification in the agent language Golog Claßen, Jens, 2013