Search Result
Save to File
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