Search Result

Your search for 54271 returns 2180 document(s)

Translasi dari varian logika temporal allen ke RPNL dan RNL-RDC

Author: Muhammad Arzaki; | Call Number: T-0964 (Softcopy T-0673) | Edition: 2012 | Type: Tesis

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel

Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27

Author: Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem

Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani

Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi

Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda

Author: Eri Zuliarso; | Call Number: T-0365 | Edition: 2002 | Type: Tesis

Pemilihan variable yang relevan pada aturan fuzzy menggunakan jaringan syaraf, Hal. IV.24-IV.32

Author: Sri kusumadewi; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem

Pengembangan fuzzy-LVO dan penggunaannya dalam sistim penciuman elektronik, Hal. 81-84

Author: Benyamin Kusumoputro; Hary Budiarto; | Call Number: SEm-262 | Type: Indeks Artikel prosiding/Sem

Rekayasa sistem NEURO-FUZZY untuk Identifikasi jenis kayu bangunan dan furniture

Author: Florensa Rosani Br Purba; | Call Number: SEM-341 | Type: Indeks Artikel prosiding/Sem

REKAYASA PERANGKAT NEURO-FUZZY UNTUK IDENTIFIKASI JENIS KAYU BANGUNAN DAN FURNITURE

Author: Florensa Rosani Br Purba; | Call Number: SEM-341 | Type: Indeks Artikel prosiding/Sem

Pattern recognition with fuzzy objective function algorithms/James C. Bezdek

Author: Bezdek, James C; | Call Number: 006.4 Bez p | Type: Buku

Prev 8 9 10 11 12 13 14 15 16 17 Next