| Your search for 38446 returns 4596 document(s) |
| 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
|
| 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
|
| An introduction to programming and problem solving with pascal |
|
Author: Schneider, G. Michael; | Call Number: 005.133 Sch i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent schedulling dengan pendekatan constraint programming/ Dewi Mairiza |
|
Author: Dewi Mairiza | Call Number: PRO-2007-22 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applications of constraint programming in process systems engineering, HAL. 1094-1099 |
|
Author: Prakash R. Kotecha, Mani Bhushan; Ravindra D. Gudi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Maintaining arc consistency algorithms during the search without additional space cost, (LNCS-Lecture Notes in Computer Science 3709) Hal 520-533 |
|
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
|
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result