Yahma Wisnani
Model checking pada logika temporal linear untuk microwave
Sains Indonesia, 2003
Artikel Jurnal
Jimmy Sadeli
Komputerisasi Sistem Pengendalian Persediaan untuk meningkatkan efisiensi kerja pada PT Metrodata Epsindo
1990
UI - Tesis Membership
Agus Santoso Tamsir
Konversi dari tingkat keabuan ke tingkat biner pada suatu citra biner menggunakan metoda diferensial
Fakultas Teknik Universitas Indonesia, 1993
UI - Laporan Penelitian
Fenomena dan strategi kebijakan pemerintah daerah dalam pengendalian konversi lahan sawah di Provinsi Bali dan Nusa Tenggara Barat
Artikel Jurnal
Bambang P. Prianto
NetDNC: Sebuah sistem kendali numerik tersebar pada jaringan komputer
1990
UI - Tesis Membership