Search Result

Your search for 26461 returns 9179 document(s)

Proses verifikasi piranti lunak menggunakan lingu dan theorem prover hol pada studi kasus student entrance test/ Carroline D. Puspa

Author: Carroline D. Puspa; | Call Number: SK-0621(Softcopy SK-102) Source Code SK-89 | Edition: Heru Suhartanto | Type: Skripsi

Studi tentang rekayasa dan verifikasi rigor menggunakan SDL dalam perancangan manajemen kegagalan sistem/ Mephri

Author: Mephri; | Call Number: SK-0343 | Edition: Wishnu Prasetya | Type: Skripsi

External embedding: sebuah metode untuk verifikasi program

Author: Ade Azurat | Call Number: JURNAL SISTEM INFORMASI, Vol.1 (2005): No.1 | Type: UI-ana Indek Artikel

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

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

Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan Rel Kereta Api satu jalur satu arah

Author: Achmad Ridok; | Call Number: T-0152 | Edition: 1999 | Type: Tesis

Data mining solutions: methods and tools for solving real-world problems

Author: Westphal, Christopher; | Call Number: 006.33 Wes d | Type: Softcopy Buku

Statistical methods for speech recognition

Author: Jelinek, Frederick; | Call Number: 006.454 Jel s | Type: Buku

E-health care information systems an introduction for students and professionals

Call Number: 025.066 1 Ehe | Type: Buku

Prev 12 13 14 15 16 17 18 19 20 21 Next