1 Treffer

zu den Filteroptionen
Suche nach: Serie (Nummer) = 389849081 oder Serie = "Reports // Martin-Luther-Universität Halle-Wittenberg, Department of Mathematics and Computer Science" und Sammlung = Elektronische Pflichtexemplare
  • Polynomial formal verification of multipliers
    Keim, Martin
    Halle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1997 ; Göttingen : Niedersächsische Staats- und Universitätsbibliothek, 1997