See Allo

Hemmick, Douglas L., author

Bell's theorem and quantum realism : reassessment in light of the Schrödinger Paradox

Springer, 2012

eBooks

Donny Hamdani Hamid, author

Korelasi Derajat Kelumpuhan Otot Fasialis dengan Masa Laten Proksimal dan Compound Muscle Action Potential pada Penderita Bell's Palsy

Fakultas Kedokteran Universitas Indonesia, 1998

UI - Tesis 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)

Octovianus Andriato, author

Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol

Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998

UI - Skripsi (Membership)

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)

<< 1 2 3 >>