Search Result Save to File Save as CSV
Your search for 43993 returns 3053 document(s)
Formal analysis of an authentication protocol for UMTS ( Universal Mobile Telecommunications System) using avispa/ Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya
Author: Kurnia, Ilham W.; Stefanus, L. Yohanes; Saptawijaya, Ari | Call Number: Pub Staf.JN-0006 | Type: Jurnal Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis and design for project manager, procurement and asset information system schlumberger information solutions-infrastructure services PT Schlumberger geophysics Nusantara/ Michael B.M.
Author: Michael B.M.; | Call Number: KP-0866 (softkopi KP-431) SCKP-surat | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Studi perbandingan hasil requirment analysis metodologi SMM/SD pricewaterhouse dan geoquest metodologi studi kasus: Finder System vico Indonesia
Author: Erwin Widodo; | Call Number: T-0354 (Softcopy T-0004) | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan data analysis application database system program keluarga harapan Direktorat Jenderal bantuan dan Jaminan Sosial Departemen Sosial RI
Author: Moehammad Radif ME; | Call Number: KP-1001 (Softkopi KP-565) SCKP-384 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan data analysis application database system program keluarga harapan Direktorat Jenderal bantuan dan jaminan sosial Departemen Sosial RI
Author: Adith Prasetya; | Call Number: KP-1015 (Softkopi KP-579) SCKP-392 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis And Design of Library Information System Based On Web Science And Technology University Faculty Syarif Hidayatullah State Islamic University Of Jakarta (A-31 -- A-36)
Author: Sarip Hidayatuloh; | Call Number: SEM-316 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Benefits Analysis of IT Investment in Business Support System (BSS) Projects Using Ranti's Generic IS/IT Business Values: Case Studies of the Indonesian Telecommunication Company (331-336)
Author: Dimas Agung Saputra Widijanto Satyo Nugroho Benny Ranti; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Hypermedia version control framwork
Author: David L. H. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Microprocessors in instruments and control
Author: Bibbero, Robert J.; | Call Number: 004.16 Bib m | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next