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