Gösterilen
1 - 1
sonuçlar arası kayıtlar.
1
sonuç. Aranan kelime '
"Coq (Electronic resource)."
'
İçeriği atla
VuFind
Portail des bu
0
kayıt
(Dolu)
Hesabım
Çıkış
Giriş
Dil
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
Tüm Alanlar
Materyal Adı
Dergi Başlığı
Yazar
Konu
Gelişmiş
Arama Sonuçları - "Coq (Electronic resource)."
Önerilen Konular
Önerilen Konular
Arithmétique en virgule flottante
1
Arithmétique interne des ordinateurs
1
Computer algorithms
1
Computer arithmetic
1
Floating-point arithmetic
1
Gösterilen
1 - 1
sonuçlar arası kayıtlar.
1
sonuç. Aranan kelime '
"Coq (Electronic resource)."
'
Sonuçları Daraltın
Her Sayfadaki Sonuçlar
25
50
75
100
Sırala
İlgili
Tarih-Azalan
Tarih-Artan
Yer Numarası
Yazar
Materyal Adı
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
Yazar:
Boldo, Sylvie.
Baskı/Yayın Bilgisi 2017
Accès à l'E-book
E-Book
Kitap Sepetine Ekle
Sepetten Sil
Favorilerime ekle
Kaydedildi:
Arama Araçları:
RSS Beslemesi
—
Aramayı e-posta ile gönder
—
Aramayı sakla
Geri
Aramayı Daralt
Kütüphane
Bibliothèque numérique
1
Materyal Türü
E-Book
1
Yazar
Boldo, Sylvie
1
Melquiond, Guillaume (19..-....)
1
Dil
Anglais
1
Yayın Tarihi
den:
Kime:
Yüklüyor......