Ditemukan 7 dokumen yang sesuai dengan query
Cavanagh, Joseph J.F., author
New York: McGraw-Hill, 1984
519.4 CAV d
Buku Teks Universitas Indonesia Library
Spaniol, Otto, 1945-, author
Chichester: John Wiley & Sons, 1981
621.381 95 SPA c
Buku Teks Universitas Indonesia Library
Vladutiu, Mircea, author
The subject of this book is the analysis and design of digital devices that implement computer arithmetic. The book's presentation of high-level detail, descriptions, formalisms and design principles means that it can support many research activities in this field, with an emphasis on bridging the gap between algorithm optimization and...
Berlin: [, Springer-Verlag ], 2012
e20408683
eBooks Universitas Indonesia Library
Koren, Israel, 1945-, author
New Jersey: Prentice Hall International, 1993
004.015 KOR c (1)
Buku Teks Universitas Indonesia Library
Harahap, Rusdi L., author
Depok: Universitas Indonesia, 1995
S38504
UI - Skripsi (Membership) Universitas Indonesia Library
Russinoff, David M., author
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to...
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
Raditya Rinaldi, author
Logistic map adalah fungsi rekursif yang mememenuhi sifat chaos pada saat tertentu, sehingga dapat digunakan untuk sistem kriptografi. Sedangkan arithmetic coding adalah salah satu metode kompresi lossless compression yang berdasarkan statistik. Penggunaan logistic map akan dikombinasikan dengan arithmetic coding untuk sistem kriptografi citra digital. Skema yang akan digunakan adalah dengan...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2016
S64799
UI - Skripsi Membership Universitas Indonesia Library
