Search Result

Your search for 24128 returns 914 document(s)

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel

Sistem informasi dan optimalisasi penjadwalan kendaraan umum dengan studi kasus kereta listrik Jabotabek(Hibah Penelitian Strategis Nasional)

Author: Ade Azurat | Call Number: PRO-HIBAH PENELITIAN STRATEGIS-2009-002 | Type: Proposal Research (Khusus Dose

Otomatisasi palang pintu rel kereta api menggunakan sensor strain gauge, Hal. A71-A74

Author: Sutarno; Meleilia Grannatha; | Call Number: SEM-300 | Type: Indeks Artikel prosiding/Sem

Pengembangan perangkat keras pengiriman data GPS berbasis mikrokontroler untuk mendukung sistem informasi pelacakan kereta api, HAL. C.29-C.34

Author: Selo; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem

Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27

Author: Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem

Prototipe aplikasi pelacak posisi kereta api menggunakan rf-id ( Hal 104 - 110)

Author: ahmad baehaki, tri daryanto; | Call Number: SEM - 365 | Type: Indeks Artikel prosiding/Sem

Klasifikasi Tingkat Kepadatan Gerbong Kereta Rel Listrik Menggunakan Sistem Benam Berbasiskan Pembelajaran Mesin

Author: Syafiq Abdillah Umarghanis; | Call Number: SK-1841 (Softcopy SK-1323) | Edition: Fariz Darari | Type: Skripsi

Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani

Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi

Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda

Author: Eri Zuliarso; | Call Number: T-0365 | Edition: 2002 | Type: Tesis

Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan Rel Kereta Api satu jalur satu arah

Author: Achmad Ridok; | Call Number: T-0152 | Edition: 1999 | Type: Tesis

Prev 4 5 6 7 8 9 10 11 12 13 Next