Search Result
Save to File
Your search for
4501
returns
306
document(s)
Formalisasi dan verifikasi protokol komunikasi/ Evita M. Sibarani
Author: Evita Marlinang Sibarani; | Call Number: SK-0337 | Edition: Wishnu Prasetya | 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
Pengembangan sistem informasi kebudayaan modul situs dan benda budaya dan modul museum/ Evita M. Sibarani
Author: Sibarani, Evita M.; | Call Number: KP-0079 | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Formalisasi dan verifikasi dari spesifikasi speculative concurrency control dalam sistem basisdata waktu-nyata
Author: Yanti Rusmawati,; | Call Number: T-0368 | Edition: 2002 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Formalisasi komunikasi layanan web menggunakan hol dan unity
Author: Ahmadi Agra; | Call Number: SK-1226 Softcopy SK-708 Source code SK-490 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan bahasa dan alat bantu spesifikasi dan verifikasi protokol keamanan/Belawati Wijaya
Author: Belawati Wijaya | Call Number: PRO-2007-25 | Type: Proposal Research (Khusus Dose
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi protokol autentifikasi Andrew secure RPC dengan proverif/ Pamela Indrajati
Author: Pamela Indrajati; | Call Number: SK-0655 (Softcopy SK-125) Source Code SK-119 | 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
Prev 1
2
3
4
5
6
7
8
9
10
Next
Search Result