Search Result Save to File Save as CSV
Your search for 43092 returns 4859 document(s)
Multi-camera tracking untuk robot soccer
Author: Andre Tampubolon; | Call Number: SK-0813 (Softcopy SK-295) Source code SK-265 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Trace table based approach for pipelined microprocessor verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 364-375
Author: Jun Sawada; Warren A. Hunt Jr; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Notes in Computer Science 939) Hal 180-195
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Gentra4cp: a generic trace format for constraint programming, ((LNCS-Lecture Notes in Computer Science 3668) Hal 433-434
Author: Ludovic Langevine; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Perbaikan BT2SAL translator untuk integrasi model checker dengan trace animator pada paradigma behavior engineering
Author: Ardi; | Call Number: SK-1081 (Softcopy SK-562) Source Code SK-414 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Manajemen resiko teknologi informasi untuk keberlangsungan layanan public menggunakan framework information technology infrastructure library(ITIL VERSI 3) ( hal. C-34/C-39 )
Author: Irfan Maliki; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pemodelan arsitektur teknologi sistem informasi manajemen rumah sakit dengan menggunakan tahapan the Open Group Architecture Framework (TOGAF): Studi kasus RSUP Persahabatan
Author: Rizky Amalia Kurnia; | Call Number: SK-1268 (SOFTCOPY SK-749) | Edition: Puspa Indahati Sandhyaduhita | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Evaluasi tata kelola layanan teknologi informasi dengan menggunakan framework itil v3: studi kasus Direktorat Laip Kementerian Komunikasi Dan Informatika
Author: Gilang Dhanu Pamungkas; | Call Number: KA-1208 (Softcopi KA-1201) MAK KA-854 | Edition: 2019 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengukuran tingkat kematangan tata kelola SI/TI dengan menggunakan framework Cobit 4.1 : studi kasus Badan Koordinasi Survei dan Pemetaan Nasional (BAKOSURTANAL)
Author: Satria Hudaya; | Call Number: KA-301 (Softcopy KA-299) | Edition: 2012 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   11 12 13 14 15 16 17 18 19 20  Next