Search Result
Save to File
Your search for
41300
returns
2006
document(s)
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi program perkalian matriks persegi menggunakan logika hoare
Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Formalisasi dan verifikasi dari spesifikasi speculative concurrency control dalam sistem basisdata waktu-nyata
Author: Yanti Rusmawati,; | Call Number: T-0368 | Edition: 2002 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159)
Author: Cecilia E. Nugraheni; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan modul pendataan karyawan, pencataatn perjalanan dinas dan absensi karyawan dalam sistem infomrasi SDMU PT. KSE
Author: Yuaning Fajariana; | Call Number: KP-0111 | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan modul pendataan pegawai, penjadwalan pengajar, abesensi pengajar dan penggajian pegawai dalam sistem kepegawaian terpadu
Author: Moch Ridwan J.; | Call Number: KP-0836 (softkopi KP-403) SCKP-262 | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan Prototipe Website Database Industri Kecil Menengah (IKM) di Kabupaten Tegal untuk Pendataan Website Potji.com
Author: Lubby Masfar Muzetha; | Call Number: KP-2378 (Softcopy KP-1935) | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Sistem Informasi Pendataan Sidang da Tugas Akhir Amik Tunas Bangsa Pematangsiantar (199-202)
Author: Poningsih Irfan Sudahri damanik; | Call Number: SEM-312 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
PURWARUPA APLIKASI PENDATAAN DAERAH IRIGASI BERBASIS WEB MEMANFAATKAN GOOGLE-MAP API
Author: Fajar Eko Nugroho, Djoni Setiawan; | Call Number: SEM-361 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Pemrograman borland delphi ver. 3 & 4 ed. 3
Author: Pranata, Anthony; | Call Number: 005.369 Pra p | Type: Softcopy Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
6
7
8
9
10
11
12
13
14
15
Next