Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Coq (Electronic resource)."
'
Aller au contenu
VuFind
Portail des bu
0
emner
(Fuld)
Din konto
Log ud
Login
Sprog
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
Alle Felter
Titel
Tidsskriftstitel
Forfatter
Fag
Udvidet
Søgeresultater - "Coq (Electronic resource)."
Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Arithmétique en virgule flottante
1
Arithmétique interne des ordinateurs
1
Computer algorithms
1
Computer arithmetic
1
Floating-point arithmetic
1
Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Coq (Electronic resource)."
'
Affiner les résultats
Resultater pr. side
25
50
75
100
Sortér
Relevans
Nyeste øverst
Ældste øverst
Klassifikationsnummer
Forfatter
Titel
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
af
Boldo, Sylvie.
Udgivet 2017
Accès à l'E-book
E-Book
Tilføj til Bogkurv
Fjern fra Bogkurv
Føj til favoritter
Enregistré dans:
Søgeredskaber:
”Modtag RSS Feed
—
Email denne søgning
—
Gem søgning
Retour
Indsnæver søgning
Bibliotek
Bibliothèque numérique
1
Format
E-Book
1
Forfatter
Boldo, Sylvie
1
Melquiond, Guillaume (19..-....)
1
Sprog
Anglais
1
Udgivelsesår
Fra:
Til:
Loading...