| Your search for 36516 returns 508 document(s) |
| A Short overview on modern parallel SAT-Solvers, Hal. 201-206 |
|
Author: Steffen Holldobler, Norbert Manthey, Van Hau Nguyen, Julian Steckilna, Peter Steinke; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Short overview on modern parellal SAT-Solver, Hal. 201-214 |
|
Author: Steffen Holldobler, Norbert Manthey, Van Hau Nguyen; Julian Stecklina; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Run-time performance optimization of an FPGA-based deduction engine for SAT solvers, (LNCS-Lecture Notes in Computer Science 2147) Hal 315-325 |
|
Author: Andreas Dandalis; Viktor K. Prasanna; Bharani Thiruvengadam; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
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
|
| Recursive depth estimation from a sequence of images, Hal. 201-206 |
|
Author: V. Shantaram; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Three dimensional simulations of plasmas using MPPs, Hal. 201-206 |
|
Author: Venkatesh P. Gopinah; Timothy A. Grotjohn; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IP Next Generation Overview |
|
Author: Robert M. Hinden; | Call Number: SEM-217 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teknik manipulasi plainteks dengan pengompresan data dalam algoritma penyandaian, 201-206 |
|
Author: Fettyy Amelia, Hestu Waskito, Theresia Natalia; | Call Number: SEM-344 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SCSS short guide |
|
Author: Sours, Keith J.; | Call Number: 005.3 Sou s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Science an overview 7th ed. |
|
Author: Brookshear, J. Glenn; | Call Number: 004 Bro c ( MTI ) | Edition: 7th edition | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result