Search Result Save to File Save as CSV
Your search for 53040 returns 2167 document(s)
A Type-Based HFL Model Checking Algorithm (136-155)
Author: Youkichi Hosoi Naoki Kobayashi Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Less Costly Constraints Checking for Join Dependency (63-68)
Author: K.P. Tan; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan sistem pengambilan keputusan (Decision support system) berbasis sistem informasi geografi untuk masalah gizi balita dan ibu hamil (Proposal HIBAH PASCA)
Author: Dana Indra Sensuse | Call Number: PRO-HIBAH PASCA-2003-011 | Type: Proposal Research (Khusus Dose
Find Similar |  Add To Favorites |  Detail in New Window 
Integrated Information system specification to support SSTC(south-south and triangular cooperation ) program: A case study at national coordination team on SSTC goverment of indonesia
Author: Ahmad Tamimi Fadhilah; Yudho Giri Sucahyo; Denny; | Call Number: sem-320 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Deteksi otomatis gaya belajar pada learning management system dengan menggunakan metode berbasis literatur dan teknik data mining support vector machine (SVM)
Author: Elfa Silfiana Amir; | Call Number: T-1144 (Softcopy T-853) Source code T-250 | Edition: 2015 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis kompetensi sistem informasi/teknologi informasi (SI/TI) : studi kasus Departemen System Support PT Toyota-Astra Motor
Author: Alby Akhsanajaya; | Call Number: KA-444 (Softcopy KA-443) MAK KA-104 | Edition: 2013 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Manajemen layanan teknologi dan sistem informasi dan pengembangan website divisi informasi system operation support PT. Telekomunikasi Indonesia kota Bogor
Author: Pyca Gilya; | Call Number: KP-2468 (Softcopy KP-1963) | Type: Kerja Praktek (KP)
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 
Jasmine E-support
Author: Anthony Steven; | Call Number: KP-0821 (Softkopi KP-387) (SCKP-252) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9 10 11  Next