Neuzugänge

zu den Filteroptionen
vom 29.9.2017
  • 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