Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system için kapak resmi
      1. 
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
      by 
      Boldo, Sylvie, author.
      Click to View
      Format: 
      Alıntı: 
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
      Computer arithmetic and self-validating numerical methods için kapak resmi
      2. 
      Computer arithmetic and self-validating numerical methods
      by 
      Ullrich, Christian, editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780127082455
      Format: 
      Alıntı: 
      Introduction; 2 Scalar products and IEEE arithmetic; 3 Algorithms for the scalar product; 4 Problems and
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page