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
Studi kasus LinguSQL ; Aplikasi transaksi perdagangan saham
[Fakultas Ilmu Komputer Universitas Indonesia, Fakultas Ilmu Komputer Universitas Indonesia], 2009
 Artikel Jurnal
Siregar, Dwi Yanti, author
Penyusunan metodologi pengembangan perangkat lunak berbasis essence framework dan strategi penerapannya: studi kasus Jakarta smart city = Composing a software development methodology based on essence framework and its implementation strategy: Jakarta smart city case
Fakultas Ilmu Komputer Universitas Indonesia, 2022
 UI - Tugas Akhir
Rina Yuniarti, author
Perancangan Metodologi Pengembangan Perangkat Lunak dengan Essence Framework: Studi Kasus Bank Pembiayaan Mikro XYZ = Software Development Design Methodology with The Essence Framework : Case Study of Micro Financing Bank XYZ
Fakultas Ilmu Komputer Universitas Indonesia, 2023
 UI - Tugas Akhir
Aminuddin Day, author
Perangkat lunak kontrol numerik berbasis komputer pribadi
Fakultas Teknik Universitas Indonesia, 1991
 UI - Laporan Penelitian
<<   1 2 3   >>