Search Result Save to File Save as CSV
Your search for 54523 returns 2381 document(s)
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 
Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310
Author: Ajay Mallya; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Structural Query Optimization -- A Uniform Framwork for Sematic Query Optimization in Deductive Dtabase (102-114)
Author: Laks V.S. Lakshmanan Hector J.Hernandez; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Database: a primer
Author: Date, C.J.; | Call Number: 005.74 Dat d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Database machines
Author: Leilich, H.; | Call Number: 005.74 Lei d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Database design
Author: Wiederhold, Gio; | Call Number: 005.74 Wie d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Database Monthly
Call Number: [5 (1985): 9-12, 6 (1986): 1-12, 7 (1987): 3-6] | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
Project Database
Call Number: 3 (1984): 11-12 | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
C Database development
Author: Alt Stevens; | Call Number: 005.74 Alt c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next