Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test

Pengujian Beda Dua Mean Populasi Ketika Kedua Variansi Populasi Tidak Diketahui Dan Salah Satu Variansi Populasi Tidak Diketahui = Tests Of The Difference Between Two Population Means When Both Of The Population Variances Are Unknown And One Of The Population Variance Is Unknown

Analisis perencanaan prioritas pemeliharaan peralatan pada jaringan distribusi primer 20 kV berbasis keandalan sistem dan biaya akibat pemadaman

Perencanaan jaringan frame delay di PT Caltex Pacific Indonesia

Analisa performansi download file pada jaringan mobile IPV6 menggunakan download manager = Download file performance analysis in mobile IPV6 network using download manager