| Your search for 52322 returns 144 document(s) |
| Pengembangan Petunjuk Anotasi, Treebank dan Metode Rotasi Tree yang Mengacu ke Universal Dependencies v2 untuk Dependency Parsing Bahasa Indonesia |
|
Author: Ika Alfina; | Call Number: Dis-89 (Softcopy Dis-80) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimal histograms for limiting worst-case error propagation in the size of the join results, page 709 |
|
Author: Ioannidis, Yannis E. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A group key distribution scheme with decentralised user join, (LNCS-Lecture Notes in Computer Science 2576) Hal 146-163 |
|
Author: Hartono Kurnio; Rei Safavi-Naini; Huaxiong Wang; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constant propagation versus join reordering on datalog (LNCS-Lecture Notes in Computer Science 985) |
|
Author: Mariano P. Consens, Alberto O. Mendelzon, Dimitra Vista, Peter T. Wood; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Join domain infrastruktur TI dan pemeliharaan jaringan Badan Kependudukan dan Keluarga Berencana Nasional (BKKBN) |
|
Author: Ricky Artantio; | Call Number: KP-1468 (Softcopy KP-1029) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Performance Evaluation of Four Parallel Join Algorithms in Aa Shared-Nothing Multiprocessor Environment (110-121) |
|
Author: Donovan A. Schneider
David J. DeWitt; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking |
|
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic Model Checking of UML Activity Diagrams, page 1-38 |
|
Author: R. Eshuis | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
|
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result