| Your search for 51928 returns 444 document(s) |
| A Decision Procedure for Conjunctive Query Disjointness (134-139) |
|
Author: Charles Elkan; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Access control for energy-efficient query processing, 134-139 |
|
Author: Dongchan An, Minji Jo, Seog Park; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of a combination decision procedure, Hal. 347-362 |
|
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decision procedure of lifetime performance assessment of rayleigh products under progressively type II right censored samples, 225-237 |
|
Author: Chin-Chuan wu, Li-Ching Chen; Yi-Jie Chen | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An efficient decision procedure for the theory of fixed-sized bit-vectors, (LNCS-Lecture Notes in Computer Science 1254) Hal 60-71 |
|
Author: David Cyrluk; Oliver Moller; Harald Rueb; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital library query clearing using clustering and fuzzy decision-making, page 571 |
|
Author: M.I. Heywood | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the complexity of the containment problem for conjunctive queries with built-in predicates, Hal. 197-204 |
|
Author: Phokion G. Kolaitis; David L. Martin; Madhukar N. Thakur; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Electronic office procedure/ Rosemary T. Fruehling |
|
Author: Fruehling, Rosemary; | Call Number: 651 Fru e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengukuran Sudut Tibia Dan Femur Pada Citra X-Ray Menggunakan Active Shape Model (ASM) (134-139) |
|
Author: Kardiva Indah Pangestuti
I Ketut Eddy Purnama; | Call Number: SEM-339 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pembuatan acceptable use policy (AUP) and secure procedure |
|
Author: Eulis Fitriansyah; | Call Number: KP-1122 (Softkopi KP-685) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result