Your search for 48039 returns 414 document(s) |
Safe constraint queries, Hal. 99-108 |
Author: Michael Benedikt; Leonid Libkin; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Iterative methods for sparsce linear systems/Yoursef Saad |
Author: Saad, Y; | Call Number: 512.943 4 Saa i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Iterative methods for solving linear sysems/ Anne Greenbaum |
Author: Greenbaum, Anne; | Call Number: 519.4 Gre i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Iterative methods for the solution of linear systems/ editor by A. Hadjidimos |
Author: Hadjidimos, A.; | Call Number: 519.4 Ite | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Iterative methods for linear and nonlinear equations/ C.T. Kelley |
Author: Kelley, C.T.
Kelley, C.T.; | Call Number: 519.4 Kel i | Type: Buku
|
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
|