Résultat(s)
1 - 2
résultats de
2
pour la requête '
Boldo, Sylvie.
'
Aller au contenu
VuFind
Portail des bu
0
notices
(Plein)
Mon compte
Se déconnecter
Connexion compte-lecteur
Langue
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Tous les mots
Titre
Titre de revue
Auteur
Sujet
Recherche avancée
Auteur
Boldo, Sylvie.
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Boldo, Sylvie.
'
Affiner les résultats
Résultats par page
25
50
75
100
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
par
Boldo, Sylvie.
Publié 2017
Accès à l'E-Book
E-Book
Ajouter au panier
Retirer du panier
Ajouter à une liste
Enregistré dans:
2
Des Ordinateurs capables de calculer plus juste
par
Boldo, Sylvie.
Publié 2014
Article de revue
Ajouter au panier
Retirer du panier
Ajouter à une liste
Enregistré dans:
Outils de recherche:
Flux RSS
—
Envoyer la recherche
—
Enregistrer la recherche
Sujets similaires
Arithmétique en virgule flottante
Arithmétique interne des ordinateurs
Articles de périodiques
Calcul intensif (informatique)
Computer algorithms
Computer arithmetic
Erreurs d'arrondi
Floating-point arithmetic
Microprocesseurs
Chargement en cours...