Auflistung nach Autor "Kaufmann, Daniela"
Anzeige der Dokumente 1-2 von 2
-
Formal verification of multiplier circuits using computer algebra
Kaufmann, Daniela
285-291 -
Formale Verifikation von Multiplizierern mit Computeralgebra
Kaufmann, Daniela
169-178