Visas 1 - 1 av 1 resultat för sökning 'Akbarpour, Behzad', Sökningstid : 0,07s Förfina resultatet
1
Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
Övriga upphovsmän: “...Akbarpour, Behzad...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lägg till i favoriter
Sparad:
Sökverktyg: RSS-flöde — Skicka sökningen per e-post