Search Result
Save to File
Your search for
4531
returns
3266
document(s)
Verifikasi dan sertifikasi perangkat lunak berbasis komponen
Author: Ario Santoso; Daniel Cahyadi; Richard Loksasmita; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Aplikasi pengenalan suara menggunakan microsoft SAPI sebagai pengendali peralatan elektronik, HAL. H.1-H.6
Author: Sukarno, Abdusy Syarif; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Infrastruktur pengiriman instruksi dan pesan antar perangkat pengendali ruang dan Gedung di dalam Smart Campus
Author: Muhammad Faisal Mazidnianto; | Call Number: SK-1717 (Softcopy SK-1199) | Edition: Gladhi Guarddin | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Aplikasi Jaringan Syaraf Tiruan sebagai Pengganti Pengendali PID (28-31)
Author: A. Bayu P Joko T. S.; | Call Number: SEM-261 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Berkomunikasi lintas dunia dengan aplikasi multimedia, page 128
Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Simulasi arus lalu lintas dalam kondisi padat pada sebuah ruas jalan
Author: Sri Mardiyati; | Call Number: T-0146 | Edition: 1999 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan bahasa dan alat bantu spesifikasi dan verifikasi protokol keamanan/Belawati Wijaya
Author: Belawati Wijaya | Call Number: PRO-2007-25 | Type: Proposal Research (Khusus Dose
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
Prev
1
2
3
4
5
6
7
8
9
10
Next