Search Result
Save to File
Your search for
15741
returns
3329
document(s)
Rancang bangun komunikasi data nir-kabel antar global positioning systems dan stasiun bumi untuk aplikasi foto udara menggunakan wahana udara tak berawak
Author: Muhamad Komarudin; | Call Number: SEM-293 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Pemanfaatan metodologi rational unified process data terhadap pemodelan bisnis dan penentuan requirement dalam pengembangan aplikasi traffic controllong untuk stasiun radio swasta
Author: Ario Wibisono; | Call Number: T-0335 | Edition: 2002 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550
Author: Rakhmad Azhari; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Call Number: 005 Pro | Type: Buku
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
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi program perkalian matriks persegi menggunakan logika hoare
Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
An emerging biometric API industry standard, page 130
Author: Catherine J. Tilton | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
API-level attacks on embedded systems, page 67
Author: Mike Bond | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan API Ekstraksi Data dari Foto KTP
Author: Irfan Maulana Nasution Kyosena Haridza; | Call Number: SK-2059 (Softcopy SK-1541), Source Code SK-777 | Edition: Dina Chahyati | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
7
8
9
10
11
12
13
14
15
16
Next