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