Bokus

Matthias Hocks

Visar alla böcker från författaren Matthias Hocks. Handla med fri frakt och snabb leverans.

  1. Numerical Toolbox for Verified Computing I

    Numerical Toolbox for Verified Computing I

    2012

  2. Numerical Toolbox for Verified Computing I

    Numerical Toolbox for Verified Computing I

    2011

  3. C++ Toolbox for Verified Computing I

    C++ Toolbox for Verified Computing I

    2012

  4. C++ Toolbox for Verified Computing I

    C++ Toolbox for Verified Computing I

    2011