3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Handbook of Floating-Point ArithmeticTorres, Serge ; Jea, Claude-Pierre ; Melquiond, Guillaume ; Revol, Nathalie ; Stehlé, Damien ; Vincent, LefèvreBoston, MA: Birkhäuser 2009Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Handbook of Floating-point Arithmetic (2nd edition)Muller, Jean-Michel ; Brunie, Nicolas ; de Dinechin, Florent ; Jeannerod, Claude-Pierre ; Joldes, Mioara ; Lefèvre, Vincent ; Melquiond, Guillaume ; Revol, Nathalie ; Torres, SergeBirkhäuser Basel 2018Sem texto completo |
| 3 |
Material Type: Artigo
|
|
Trusting computations: A mechanized proof from partial differential equations to actual programBoldo, Sylvie ; Clément, François ; Filliâtre, Jean-Christophe ; Mayero, Micaela ; Melquiond, Guillaume ; Weis, PierreComputers & mathematics with applications (1987), 2014-08, Vol.68 (3), p.325-352 [Periódico revisado por pares]ElsevierTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Arithmetic (2)
- Computational Mathematics And Numerical Analysis (2)
- Computer Programming Languages (2)
- Applied Mathematics (2)
- Computer Languages (2)
- Computer Program Languages (2)
- Algorism (2)
- Algorithm Analysis And Problem Complexity (2)
- Computer Software (2)
- Algebra (2)
- Arithmétique En Virgule Flottante (2)
- Computer Science—mathematics (2)
- Algorithms (2)
- Computer Mathematics (2)
- Arithmetic (2)
- Computerarithmetik (2)
- Arithmétique Interne Des Ordinateurs (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 