Matraji
ASFRAC: Sebuah interpreter visualisasi ekspresi boole berbasis teknologi CMOS
Fakultas Ilmu Komputer Universitas Indonesia, 1992
 UI - Tesis (Membership)
Hansel Tanuwijaya
Penerjemahan dokumen inggris-indonesia menggunakan mesin penerjemah statistik dengan word roordering dan phrae reordering
Fakultas Ilmu Komputer Universitas Indonesia, 2009
 UI - Skripsi (Open)
Henry Artajaya
Analisa unjuk kerja sistem penilai esai otomatis berbasis algoritma GLSA (Generalized Latent Sematic Analysis) dan perbandingannya dengan algortima LSA = Performaci analysis of GLSA (Generalized Latent Semantic Analysis) based automated essay garding system compared to LSA based automated essay garnding system
Fakultas Teknik Universitas Indonesia, 2012
 UI - Skripsi (Open)
Tigor, Surawidjaja Nauli
Belajar bahasa komputer basic: mudah dan cepat
Gramedia Pustaka Utama , 1992
 Buku Teks
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
oleh Heru Suhartanto [and others]
Fakultas Ilmu Komputer Universitas Indonesia, 2007
 Buku Teks