Search Result
Save to File
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