Ditemukan 41 dokumen yang sesuai dengan query
Sulistomo Adie Suwarno, author
Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana...
Depok: Universitas Indonesia, 2005
S27598
UI - Skripsi Membership Universitas Indonesia Library
Ummu Maemunah, author
Pengujian sistem harus dilakukan agar terhindar dari hal-hal yang tidak diinginkan. Salah satu metode pengujian rancangan sistem adalah model checking. Pada tugas akhir ini model yang digunakan untuk menyajikan rancangan sistem pada model checking adalah struktur Kripke dan spesifikasi sistem ditulis dalam bentuk formula computational tree logic yang merupakan salah...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
S27633
UI - Skripsi Membership Universitas Indonesia Library
Sagitra Tri Meizanda, author
Indeks Pembangunan Manusia (IPM) merupakan salah satu indikator yang dapat digunakan untuk menggambarkan tingkat kesejahteraan rakyat di Indonesia. Pada tahun 2021, Provinsi Papua dan Papua Barat menempati dua urutan terakhir berdasarkan nilai IPM di Indonesia. Hal ini menandakan bahwa kesejahteraan masyarakat di Provinsi Papua dan Papua Barat dalam menikmati hasil...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2023
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Kurtz, David C., author
New York: McGraw-Hill, 1992
511.3 KUR f
Buku Teks Universitas Indonesia Library
Copi, Irving M., author
New Jersey: Prentice-Hall, 1979
511.3 COP s
Buku Teks Universitas Indonesia Library
Smarandache, Florentin, author
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks Universitas Indonesia Library
Standley, Gerald B., author
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks Universitas Indonesia Library
Morash, Ronald P., author
New York: Random House, 1987
511.3 MOR b
Buku Teks Universitas Indonesia Library
Dalen, Dirk van, author
Berlin: Springer-Verlag, 1994
511.3 DAL l
Buku Teks Universitas Indonesia Library
Chang, Chin-Liang, author
New York: Academic Press, 1973
511.3 CHA s
Buku Teks Universitas Indonesia Library