| Your search for 38411 returns 3043 document(s) |
| Inter-distance constraint: an extension of the all-different constraint for scheduling equal length jobs, (LNCS-Lecture Notes in Computer Science 3709) Hal 62-76 |
|
Author: Konstantin Artiouchine; Philippe Baptiste; | Call Number: 005.133 Bee P | 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
|
| 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
|
| Learning the search heuristic for combined task and motion planning (309-316) |
|
Author: Vektor Dewanto; | Call Number: SEM-345 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Basic simple type theory: camridge tracts in theoretical computer science |
|
Author: Hindley, J. Roger; | Call Number: 005.13 Hin b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Progress in cybernetics and systems reseacch vol. V: organization and management organic problem solving in management system approach in urban and regional planning computer performance, control and evaluation computer linguistcs/ Robert Trappl |
|
Call Number: 003.5 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer problem solving |
|
Author: "Watkins, R.P."; | Call Number: 004.61 Wat c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problem solving and computer programming |
|
Author: Grogono, Peter; | Call Number: 005.133 Gro p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problem solving and computer programming |
|
Author: Grogono, Peter; | Call Number: 519.4 Gro p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10 |
|
Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result