Widuri Lisu, author
Kajian skema e-voting dalam aplikasi skema secret sharing berbasis Chinese remainder theorem (crt) dengan menggunakan barisan mignotte = Study of e voting scheme in application of secret sharing scheme based on the chinese remainder theorem crt using the mignotte sequence
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2015
 UI - Skripsi (Membership)
Hemmick, Douglas L., author
Bell's theorem and quantum realism : reassessment in light of the Schrödinger Paradox
Springer, 2012
 eBooks
Nurfathiya Faradiena Az Zahra, author
Skema pembagian rahasia menggunakan matriks proyeksi dengan hasil diverifikasi = Verifiable secret sharing scheme using matrix projection
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2018
 UI - Skripsi (Membership)
Sjarif Abdat, author
Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987
 UI - Skripsi (Membership)
Caroline D. Puspa, author
Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test
Fakultas Ilmu Komputer Universitas Indonesia, 2006
 UI - Skripsi (Membership)
<<   1 2 3   >>