Search Result Save to File Save as CSV
Your search for 7000 returns 4680 document(s)
Formal methods: state of the art and new directions
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
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 
Spesifikasi dan verifikasi aplikasi perbankan dengan menggunakan lingusql (Studi banding dengan Metode-B)/ Franova Herdiyanto
Author: Franova Hardiyanto; | Call Number: SK-0743 (Softcopy SK-224) Source code SK-205 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings of the IEEE/ACM international conference on developing and managing expert system programs Sept. 30 - October 2, 1991 Washington D.C/editor by Jerald Feinstein
Call Number: SEM-174 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Programming with posix threads/David R. Butenhof
Author: Butenhof, David R.; | Call Number: 005.432 But p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
SPSS/PC+ : for the IBM PC/XT/AT/ Marija J. Norusis
Author: Norusis, Marija J.; | Call Number: 005.369 Nor s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pemilihan threshold dan kriteria token pada email filtering menggunakan algoritma naive bayesian
Author: Jos Timanta Tarigan; | Call Number: SK-0640 (Softcopy SK-122) Source Code SK-107 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Studi tingkat penerimaan pemakaian (user acceptance level) untuk penggunaan electronic mail pada perusahaan telekomunikasi
Author: Antonyus GMR Sinaga; | Call Number: T-0379 | Edition: 2003 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Proving programs correct
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Proving programs correct
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next