Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "120699087"
im Bestand: Gesamter Bestand

11 - 13 von 13

	11	Equivalence Checking of Digital Circuits Molitor, Paul. - Heidelberg : Springer US, 2004
	12	VHDL Ritter, Jörg. - München : Pearson Deutschland, 2004
	13	Limits of Using Signatures for Permutation Independent Boolean Comparison Enthalten in Formal methods in system design Bd. 21, Nr. 2, date:9.2002: 167-191