Search Result
Save to File
Your search for
51931
returns
352
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
IP over 2000
Author: Christopher M. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Safe stratified datalog with integer order does not have syntax
Author: Alexei P. Stolboushkin | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Membangun sistem pemrosesan ruleml pada semantic web dengan menggunakan datalog
Author: I Gusti Agung Ngurah Indra Adnyana,; | Call Number: T-0572 (Softcopy T-0233) Source Code T-0037 | Edition: 2007 | Type: Tesis
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
Designing hypermedia documentation for safety critical applications, Hal. 247-252
Author: R.M. Newman; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Safety-critical computer sytems/Neil Storey
Author: Storey, Neil; | Call Number: 004.33 Sto s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Temporal verification of research reactive systems: safety
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Optimizing Queries Using an Effective Calculus
Author: L. Fegaras, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Analysis of Predictive Spatio-Temporal Queries
Author: Y. Tao, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next