Search Result Save to File Save as CSV
Your search for 7052 returns 4856 document(s)
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 lunak pengendalian lalu-lintas keteta api menggunakan metodologi raise
Author: Thomas Anung Basuki; | Call Number: T-0440 Source Code T-0030 | Edition: 2003 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi
Author: Maringan Situmeang; | Call Number: T-0364 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Sistem pengaturan lalu lintas terdistribusi dengan menggunakan nonlinear coupled oscillator/ Abdul Arfan
Author: Abdul Arfan; | Call Number: SK-0714 (Softcopy SK-0196) Source code SK-0179 | Type: Skripsi
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 
Petunjuk pelaksanaan undang-undang lalulintas dan angkutan jalan 1993
Call Number: R.343.094 6 Pet | Type: Buku
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 
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 
Office automation concepts, technologies and issuees
Author: Traister, John E.; | Call Number: 651.84 Hir c | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next