Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
 eBooks
Studi kasus LinguSQL ; Aplikasi transaksi perdagangan saham
[Fakultas Ilmu Komputer Universitas Indonesia, Fakultas Ilmu Komputer Universitas Indonesia], 2009
 Artikel Jurnal
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
edited by Martin Kutrib, Nelma Moreira and Rogerio Reis
Springer-Verlag, 2012
 eBooks
Muhammad Rahardian Kusmono, author
Evaluasi Usability dan Usulan Desain Alternatif Situs E-Commerce Tinkerlust = Usability Evaluation and Proposed Alternative Design of E-Commerce Website Tinkerlust
Fakultas Ilmu Komputer Universitas Indonesia, 2020
 UI - Tugas Akhir
Theresia Budiyanti, author
Refinement dengan metode B pada pengembangan modul aplikasi perbankan
Fakultas Ilmu Komputer Universitas Indonesia, 2006
 UI - Skripsi (Membership)
<<   2 3 4   >>