Hasil Pencarian
Ditemukan 1014 dokumen dengan kata kunci 8075 Simpan CSV Simpan CSV
Perancangan Alat Ukur Digital Untuk Mendeteksi Kedalaman Lubang Berbasis Web
Pengarang: Reza Gunadi | No. Panggil: eSTI-2021078 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Pemanfaatan Animas 3D Sebagai Motivasi Untuk Meningkatkan Kinerja Karyawan Berbasis Web
Pengarang: Alfian Arif Rinaldi | No. Panggil: eSTI-2020027 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Media Pembelajaran Berbasis Web Untuk Siswa Sekolah Menengah Atas
Pengarang: Oki Kurniyanto | No. Panggil: eSTI-2011036 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Rancang bangun forum diskusi mahasiswa teknik UHAMKA berbasis web
Pengarang: Istiqmal Fajar Danar Jono | No. Panggil: eSTI-2014036 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Pemetaan lokasi pendidikan berbasis WEB wilayah jakarta selatan
Pengarang: Fiti widiawati | No. Panggil: eSTI-2011014 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan E-COMMERCE penyewaan perlengkapan pest berbasis WEB pada PT.Adeta entertaiment
Pengarang: Ulel Khulailah | No. Panggil: eSTI-2011033 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Alternating-time temporal dynamic epistemic logic
Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Probabilistic logics for objects located in space and time
Pengarang: Dragan Doder, John Grant, and Zoran Ognjanović | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 487-515 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
TCTL Model Checking of Time Petri Nets
Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The Settling Time Reducibility Ordering and Δ02 Sets
Pengarang: Barbara F. Csima | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 145-150 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   28 29 30 31 32 33 34 35 36 37  Next