Timotius, author
Tinjauan Metode Compensated pada Penjumlahan Rekursif Floating-Point
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
 UI - Skripsi Membership
Lie Trishadi Rusli, author
Tinjauan terhadap Metode-metode Alternatif dalam Penjumlahan Bilangan Floating Point
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
 UI - Skripsi Membership
Russinoff, David M., author
Formal verification of floating-point hardware design: A mathematical approach
Springer Cham, 2019
 eBooks
Overton, Michael L., author
Numerical computing with IEEE floating point arithmetic
Society for Industrial and Applied Mathematics, 2001
 eBooks
Dwi Teguh Priyantini, author
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover
Fakultas Ilmu Komputer Universitas Indonesia, 2017
 UI - Tesis Membership
<<   1 2 3   >>