Milhatul Hikmah
Penerapan model project based learning untuk meningkatkan partisipasi dan hasil belajar
Pusat Data dan Teknologi Informasi, 2020
 Artikel Jurnal
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
Onno W. Purbo
Buku pintar internet: java dan javascript
Elex Media Komputindo , 1998
 Buku Teks
T. Basaruddin
Komputasi numerik: untuk mahasiswa bidang komputer dan teknologi informasi
Fakultas Ilmu Komputer Universitas Indonesia, 2007
 Buku Teks
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)