Showing 1 - 4 results of 4 for search 'Melquiond, Guillaume', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Handbook of floating-point arithmetic

    Handbook of floating-point arithmetic by Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge

    Published 2018
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Computer arithmetic and formal proofs verifying floating-point algorithms with the coq system

    Computer arithmetic and formal proofs verifying floating-point algorithms with the coq system by Boldo, Sylvie, Melquiond, Guillaume

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Handbook of floating-point arithmetic

    Handbook of floating-point arithmetic by Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge

    Published 2018
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Handbook of floating-point arithmetic

    Handbook of floating-point arithmetic by Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge

    Published 2018
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: