| Your search for 52509 returns 3322 document(s) |
| Perancangan sistem pelatihan ONLINE pada institusi pendidikan non formal: studi kasus PT. MITRA SOLUSI TEKNOLOGI MANDIRI |
|
Author: Darmawan B. Napitupulu; | Call Number: PA-0028 (Softcopy PA-0028) | Edition: 2004 | Type: Proyek Akhir (PA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Studi perancangan dan analisis formal protokol kriptografis untuk sistem pembayaran elektronis melalui internet/ Yenni Rahmita |
|
Author: Yenni Rahmita; | Call Number: SK-0335 | Edition: Wishnu Prasetya | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance improvement assesment system for higher education using data mining techniques, HAL. 154-159 |
|
Author: S. Rajasekar, K. Tamizharasu; P.V. Parhasarthy; | Call Number: SEM-291 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance improvement assesment system for higher education using data mining techniques, HAL. 154-159 |
|
Author: Rajasekar, Tamizharasu K, Parhasanthy P.V.; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages and their relation to automata |
|
Author: Hopcroft, John E.; | Call Number: 519.766 Hop f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages/ Arto Salomma |
|
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result