Search Result Save to File Save as CSV
Your search for 26828 returns 3487 document(s)
applying key-phrases in cross-language information retrieval
Author: thanh c.nguyen, tuoi t.phan; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Strategic decision making applying the analytic hiearchy process
Author: Bhushan, Navneet; | Call Number: 658.403 Bhu s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Embedded programming logics in HOL theorem prover, hal 18-24
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalization of TLA + in HOL Theorem Prover (419-422)
Author: Iis Solichah Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Breaking public key cryptosystems on tamper resistant devices in the presence of transient faults, (LNCS-Lecture Notes in Computer Science 1361) Hal 115-124
Author: F. Bao; R.H. Deng; Y. Hang; A. Jeng; A. D. Narasimhalu; T. Ngair; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
EVALUASI PENERAPAN TEKNOLOGI INFORMASI DI PERGURUAN TINGGI SWASTA YOGYAKARTA DENGAN MENGGUNAKAN MODEL COBIT FRAMEWORK(15-20)
Author: Alexander Setiawan; | Call Number: SEM-309 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
IMPLEMENTASI EPGA PADA SPREADING-DESREADING MENGGUNAKAN CODE PN MAX-LENGTH GOLD (15-20)
Author: Anang Budikarso yoedy mogeiarto; | Call Number: SEM-309 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next