Search Result Save to File Save as CSV
Your search for 16190 returns 4339 document(s)
Reactive cocnsistency control in deductive database, page 670
Author: Moerkotte, G. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
The Partition model: a deductive database model, page 1
Author: Nicolas S. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Tail recursion elimination in deductive database
Author: Kenneth A. Ross | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
B-Tree Concurrency Control and Recovery in Page-Server Database Systems, page 82-132
Author: I. Jaluta, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Declarative Expression of Deductive Database Updates (93-100)
Author: Sanjay Manchanda; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
PODS Invited Talk: Deductive Database in Action (142-153)
Author: Shalom Tsur; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Impelentation of the CORAL Deductive Database System (167-176)
Author: Raghu Ramakrishman Divesh Srivastava; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Deductive and Object Database System: Why and How? (438-439)
Author: Laurent Vieille; | Call Number: SEM-245 | 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