| Your search for 12508 returns 367 document(s) |
| Computational Complexity: Quantum Lower Bounds for The Collision and the Element Distinctness Problems |
|
Author: S. Aaronson, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lower bounds for parallel linear programming and other problems,Hal 603-614 |
|
Author: Ketan Mulmuley; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lower bounds for union-split-find related problems on random access machines,Hal 625-634 |
|
Author: Peter Bro Miltersen; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Languages and Complexity Theory: Time-Space Trade-Off Lower Bounds for Randomized Computation of Decision Problems, A Complete Problem for Statistical Zero Knowledge |
|
Author: P. Beame, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lower bounds on testing membership to a polyhedron by algebraic decision trees,Hal 635-644 |
|
Author: Dima Grigoriev; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Time bounds for mutual exclusion and related problems,Hal 224-232 |
|
Author: Jae-Heon Yang; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The finite element method for elliptic problems |
|
Author: Ciarlet, Philippe G; | Call Number: 515.535 Cia f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods in optimal control problems |
|
Author: Mufti, I.H.; | Call Number: 519.3 Muf c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods for the solution of engineering problems |
|
Author: Brebbia, C.A.; | Call Number: 511 Bre c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414 |
|
Author: Chu Min Li; Felip Manya; Jordi Planes; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result