Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
"Coq (Electronic resource)."
'
Siirry sisältöön
VuFind
Portail des bu
0
tietuetta
(Täynnä)
Oma tili
Kirjaudu ulos
Kirjaudu sisään
Kieli
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
Kaikki kentät
Nimeke
Lehden nimi
Tekijä
Aihe
Tarkennettu
Hakutulokset - "Coq (Electronic resource)."
Aihe-ehdotuksia
Aihe-ehdotuksia
Arithmétique en virgule flottante
1
Arithmétique interne des ordinateurs
1
Computer algorithms
1
Computer arithmetic
1
Floating-point arithmetic
1
Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
"Coq (Electronic resource)."
'
Tarkenna hakua
Tuloksia sivulla
25
50
75
100
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
Tekijä
Boldo, Sylvie.
Julkaistu 2017
Accès à l'E-book
E-Book
Lisää kirjakoriin
Poista kirjakorista
Lisää suosikkeihin
Tallennettuna:
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
—
Tallenna haku
Takaisin
Rajaa hakua
Kirjasto
Bibliothèque numérique
1
Aineistotyyppi
E-Book
1
Tekijä
Boldo, Sylvie
1
Melquiond, Guillaume (19..-....)
1
Kieli
Anglais
1
Julkaisuvuosi
Alkaen:
Päättyen:
Lataa...