Search Result Save to File Save as CSV
Your search for 44650 returns 3472 document(s)
Sistem Pemantauan Perjalanan Kereta Api
Author: Mochamad Karjadi, ST., MT; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Sistem informasi kereta api berbasis SMS, HAL. J.51-J.55
Author: Lartola Firdausy, Anton Yudhana, Lutfatul Kholifah; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analisa pengembangan formalisasi sistem pengendali lalu lintas kereta api
Author: Irene Ully Havsa; | Call Number: SK-0874 (Softcopy SK-356) Source code SK-312 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Model formal sistem pengendali lalulintas Kereta api di suatu setasiun
Author: Prapto Tri Supriyo; | Call Number: T-0367 | Edition: 2001 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
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
Find Similar |  Add To Favorites |  Detail in New Window 
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
Find Similar |  Add To Favorites |  Detail in New Window 
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
Find Similar |  Add To Favorites |  Detail in New Window 
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
Find Similar |  Add To Favorites |  Detail in New Window 
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
Find Similar |  Add To Favorites |  Detail in New Window 
Model ontologi untuk informasi jadwal kereta api menggunakan protege, HAL. J.9-J.12
Author: Armadyah Amborowan; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next