Treffer 1 – 3 von 3 für Suche 'Melquiond, Guillaume', Suchdauer: 0,04s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Handbook of floating-point arithmetic von Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge
Veröffentlicht 2018Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
2
Computer arithmetic and formal proofs verifying floating-point algorithms with the coq system von Boldo, Sylvie, Melquiond, Guillaume
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen … -
3
Handbook of floating-point arithmetic von Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge
Veröffentlicht 2018Signatur: Wird geladen …
Standort: Wird geladen …