Search Result
Save to File
Your search for
16234
returns
3449
document(s)
Pengembangan metode pengukuran sistem IT (Kasus: Perguruan Tinggi di Indonesia), Hal. 199- 205
Author: Suhono Harson Supangkat; | Call Number: SEM-271 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
On lazy randomized incremental construction,hal 105-114
Author: Mark de berg; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formalization Of Arithmetic Algorithm In Vdhl Using Hol Theorem Prover
Author: Dwi Teguh Priyantini; Ade Azurat; | Call Number: Mak T Jilid 016-035 (T-1210) (Mak T-020) | Type: Makalah Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic Programming as Contructivism: A Formalization and its Application to Databases (34-50)
Author: Francois Bry; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Agreement and Policies in Cooperative Mobile Agent: Formalization and Implementation (683-700)
Author: Fuyuki Ishikawa Nobukazu Yoshioka Shinichi Honiden; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Research on Security Protocol Formalization based on Belief (V1-354 -- V1-356)
Author: Kening Liu Junyao Ye Yinliang Wang; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Using the internet to reduce software piracy : on anonymous receipts, anonymous ID cards, and anonymous vaouchers, Hal. 199- 211
Author: Ralf C. Hauser; | Call Number: SEM-215 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Syntetic workload performance analysis of incremental updates, Hal. 329-338
Author: Kurt Shoens, ANthony Tomasic; Hector Garcia Molina; | Call Number: SEM-256 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Incremental relevance feedback for information filtering, Hal. 270-278
Author: James Allan; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Workshop : Incremental link editor sparcompiler language systems
Call Number: 005.43 Sol | Type: Buku Manual
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next