| Your search for 54081 returns 332 document(s) |
| Structural answers fo a large structured document collection, Hal. 204-222 |
|
Author: Michal Fuller, Erick Mackie; Ron Sacks Davis; Ross WIlkinson; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Retrieving answers from multiple documents usin sklolem indexing. ( hal. 53-56 ( |
|
Author: Kasturi Dewi Vatathan, Tengku Mohd.Tengku Sembok, Nazlia Omar, Rabiah Abdul Kadir; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the Computation of Relational View Complements |
|
Author: J. Lechtenborger, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relational databases selected writings |
|
Author: Date, C.J.; | Call Number: 005.756 Dat r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relational database management/M. Papazoglou |
|
Author: Papazoglou, M.; | Call Number: 005.756 Pap r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relational databases/ Chao-Chih Yang |
|
Author: Yang chao-Chih; | Call Number: 005.756 Yan r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relational information systems/T.H.Merrett |
|
Author: Merret, T.H.; | Call Number: 005.74 Mer r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Setting parameter single machine infinite bus via genetic algorithms, HAL. C.53-C.56 |
|
Author: Redy Kharisma, Iman Robandi; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Framework and Tool Support for the Systematic Testing of Model-Based Specifications, page 409-439 |
|
Author: T. Miller, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result