Penerjemahan dokumen inggris-indonesia menggunakan mesin penerjemah statistik dengan word roordering dan phrae reordering

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

Komputasi numerik: untuk mahasiswa bidang komputer dan teknologi informasi

Perbandingan Bahasa Pemrograman Rust dan C pada Aspek Keamanan Memori = Comparison of the Rust and C Programming Languages on Memory Safety Aspects

Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol