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