Search Result Save to File Save as CSV
Your search for 37353 returns 962 document(s)
About the Undecidability of Program Equivalence in Finitary Languages With State, page 701-726
Author: A. S. Murawski, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Dissecting Widening: Separating Termination from Information (95-114)
Author: Graeme Gange Jorge A.Navas Peter Schachte Harald Sondergaard Peter J.Stuckey; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Improved non-approximability results,hal 184-193
Author: Mihir Bellare; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal Data and The Relational Model a detailed investigation into the application of interval a detailed investigation into the application of interval and Relation theory to the problem of temporal database management
Author: Date, C.J.; | Call Number: 005.74 Dat t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Project termination does'nt equal project failure, page 94
Author: Barry Boebm | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A generalized criterion for the early termination of R-cylix reduction and divide and conquer for recurrences, Hal. 448-454
Author: Joseph L. Larriba Pey; Angel Jordan; Juan J. Navarro; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Termination Detection in Logic Programs Using Argument Sizes (216-226)
Author: Kirack Sohn Allen Van Gelder; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The New CIO leader : setting the agenda and delivering results
Author: Broadbent, Marianne; | Call Number: 658.403 8 Bro n | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Results of applying probabilistic IR to OCR Text, hal. 202-212
Author: Kazem Taghva; Julie Borsack; Allen Condit; | Call Number: SEM-256 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Effectiveness of a graphical display of retrieval results, Hal. 236-245
Author: Aravindan Veerasamy; Russell Heikes; | Call Number: SEM-249 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next