| Your search for 4542 returns 736 document(s) |
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program |
|
Call Number: [11 (1985): 1, 13 (1986): 1-6, 14 (1988): 1-6, 12 (1996): 1-6] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algoritma kompresi fraktal sekuensial dan paralel untuk kompresi citra |
|
Author: Satrya N. Ardhytia dan Lely Hiryanto | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 3 No. 2 Juni 2010 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pencarian Pola Sekuensial Menggunakan Algoritma Apriori All |
|
Author: Fandi; | Call Number: SK-0765 (Softcopy SK-247) Source code SK-224 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| LIngkungan & Pembangunan |
|
Call Number: 15 (1995): 3-4 | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A coding theorem for distributed computation,Hal 790-799 |
|
Author: Sridhar Rajagopalan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pembuatan Interactive Dashboard Statistik Sekolah, serta Fitur CRUD (Create, Read, Update, Delete) Sekolah dan Modul pada Sistem Informasi Pemantauan Program “Nutrition Goes to School” di SEAMEO RECFON - Fasilkom UI |
|
Author: Chrysant Celine Setyawan; | Call Number: KP- 3467 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result