| Your search for 37072 returns 1130 document(s) |
| Proof analysis by resolution (extended abstract), Hal,.417-531 |
|
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Cooperative design for hybrid systems (extended abstract), Hal. 15-20 |
|
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational complexity and knowledge complexity(Extended Abstract),Hal 534-543 |
|
Author: Oded Goldreich; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A minimal model for secure computation(extended abstract),Hal 554-563 |
|
Author: Uri Feige; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OPTIMIZATION OF EXTENDED DATABASE QUERY LANGUAGES (424-435) |
|
Author: Timos K. sellis, leonard shapiro; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interval Queries on Object Histories: Extended Abstract (208-217) |
|
Author: S. Ginsberg
K. Tanaka; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376) |
|
Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Coverage, Relevance, and Ranking: The Impact of Query Operators on Web Search Engine Results, page 383-411 |
|
Author: C. M. Eastman, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimization of galois-filed based applications using selected variants of arithmetic operators, Hal. 98-103 |
|
Author: Petrus Mursanto. Bobby A.A. Nazief; | Call Number: SEM-303 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Controllers as fixed points of se-valued operators, ((LNCS-Lecture Notes in Computer Science 999) Hal. 344-358 |
|
Author: Anil Nerode; Jeffrey B. Remmed; Alexander Yakhnis; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result