Search Result
Save to File
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