Search Result Save to File Save as CSV
Your search for 23901 returns 235 document(s)
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 
Strategy as a wicked problem, page 98
Author: John C. Camillus | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Advanced programming and problem solving with pascal
Author: Schneider, G.M.; | Call Number: 005.133 Sch a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to programming and problem solving with pascal
Author: Schneider, G. Michael; | Call Number: 005.133 Sch i | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
The geodetic boundary value problem,Hal 83-93
Author: Joenil Kahar; | Call Number: SEM-200 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Problem solving in pascal for engineers and scientists
Author: Etter, D.M.; | Call Number: 005.133 Ett p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Problem solving and structured programming in FORTRAN
Call Number: 005.133 Fri p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Problem solving and structured programming in modula-2
Author: Koffman, Elliot E.; | Call Number: 005.133 Kof p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Problem solving solving with fortran 77
Author: Nyhoff, Larry; | Call Number: 005.133 Nyh f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next