Search Result Save to File Save as CSV
Your search for 40565 returns 2740 document(s)
Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modularization techniques for active rules design
Author: Baralis Elena | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Plan databases: model and algebra, (LNCS-Lecture Notes in Computer Science 2942), Hal. 302-319
Author: Fusun Yaman; Sibel adali; Dana Nau; Mria L. Supino and V.S. Subrahmanian; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An Algebraic Approach to Static Analysis of Active Database Rules
Author: E. Baralis, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Termination Analysis of Active Rules with Priorities (846-855)
Author: Alain Couchot; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Evaluation of a tool for visualization of information retrieval results, Hal. 85-92
Author: Aravindam Veerasamy; Nicholas J. Belkin; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems (648-666)
Author: Giuliano Mega Fabio kon; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
RIDL*: A Tool For The Computer-Assisted Engineering Of Large Databases In The Presence Of Integrity Constraints (418-429)
Author: O. De Troyer; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Constant propagation versus join reordering on datalog (LNCS-Lecture Notes in Computer Science 985)
Author: Mariano P. Consens, Alberto O. Mendelzon, Dimitra Vista, Peter T. Wood; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next