Search Result Save to File Save as CSV
Your search for 31725 returns 5542 document(s)
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 
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
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 
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 
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 sistem pengendali lalu lintas/ Manogari Simanjuntak
Author: Manogari Simanjuntak; | Call Number: SK-0371 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
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 prototipe semantic portal berbasis ontologi E-goverment: studi kasus pemerintah kota Depok
Author: Abdul Muttaqien; Akhmad Mubarok; M. Yudha A.; Siti Fuadi Fithri; | Call Number: SP-138 (Softkopi SP-78) SCSP-61 | Type: Student Project (SP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan modul container-station dengan metode B
Author: Ahmad Furqan S.K.; | Call Number: SK-0626 (Softcopy SK-107) Source code SK-94 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next