Katalog der Deutschen Nationalbibliothek

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

681 - 690 von 2953

	681	Normalization of Horn Clauses with Disequality Constraints Reuß, Andreas. - München : Universitätsbibliothek der TU München, 2013
	682	Normalization of Horn clauses with disequality constraints Reuß, Andreas, 2013
	683	Novel power trace processing methods for side-channel analysis of cryptosystems Qizhi, Tian, 2013
	684	Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems Tian, Qizhi. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	685	Object-Oriented Graph Grammars for Computational Design Synthesis Helms, Bergen. - München : Universitätsbibliothek der TU München, 2013
	686	Object-oriented graph grammars for computational design synthesis Helms, Bergen, 2013
	687	On the foundations of key exchange Brzuska, Christopher, 2013
	688	On the Foundations of Key Exchange Brzuska, Christopher. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	689	On the role of test sequence length, model refinement, and test coverage for reliability Linschulte, Michael. - Paderborn : Universitätsbibliothek, 2013
	690	On the role of test sequence length, model refinement, and test coverage for reliability Linschulte, Michael, 2013