| Your search for 37934 returns 415 document(s) |
| Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy(extended abstract),Hal 449-458 |
|
Author: Hans L.Bodlaender; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers and intrability: a guide to the theory of NP-completeness/Michael R. Garey |
|
Author: Garey, Michael R.; | Call Number: 005.1 Gar c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structures and algorithms 2: graph algorithms and NP-completeness/Kurt Mehlhorn |
|
Author: Mehlhorn, Kurt; | Call Number: 511.8 Meh d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On complexity as bounded rationality,Hal 726-733 |
|
Author: Christos H.Papadimitriou; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decidable bounded quantification,Hal 151-162 |
|
Author: Giuseppe Castagna; Benjamin C.Pierce; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
Search Result