Ditemukan 9 dokumen yang sesuai dengan query
Yusuf Messakh, author
Depok: Universitas Indonesia, 2003
S27462
UI - Skripsi (Membership) Universitas Indonesia Library
Suhud Adiyanto, author
Depok: Universitas Indonesia, 2003
S27468
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
Annisa Puspitasari, author
Depok: Universitas Indonesia, 2010
S27832
UI - Skripsi (Open) Universitas Indonesia Library
Karlina, author
Data spasial atau data geografi memiliki peranan penting dalam kehidupan manusia. Pada awalnya, data spasial disimpan dengan menggunakan peta, namun seiring berkembangnya teknologi dan kebutuhan data yang cepat, data spasial diambil, disimpan, dan diolah dengan teknologi komputer yang dinamakan Sistem Informasi Geografi (SIG). Dengan semakin meningkatnya volume data geografi ,...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2010
S27864
UI - Skripsi (Open) Universitas Indonesia Library
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
Hendy Waskito, author
Aljabar temporal merupakan perluasan dari model data relasional dan aljabar relasional sehingga mampu mendukung informasi time-varying. Ada beberapa aljabar temporal yang telah didefinisikan. Pada skripsi ini akan dibahas salah satu aljabar temporal yaitu aljabar temporal Tuzhilin. Temporal structure merupakan model data relasional temporal pada aljabar temporal Tuzhilin. Operasi-operasi pada aljabar...
Depok: Universitas Indonesia, 2007
S27782
UI - Skripsi (Membership) Universitas Indonesia Library
Heru Suhartanto, author
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1985
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Trisya Wulandari, author
Sistem adalah kumpulan elemen yang bekerja sama untuk satu tujuan, contohnya sistem pada AC. Masalah timbul saat sistem mengalami kegagalan dalam bekerja. Salah satu cara mengatasinya adalah dengan menindaklanjuti penyebab dari kegagalan tersebut. Mencari penyebab kegagalan suatu sistem bisa menggunakan fault tree (FT). Dalam skripsi ini akan dibahas mengenai membangun...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
S1035
UI - Skripsi (Open) Universitas Indonesia Library
