| Your search for 38369 returns 3006 document(s) |
| Mutation testing of software using a mind computer, Hal. II.257-II.266 |
|
Author: A. Jefferson offutt; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The computer revolution in philosophy: philosophy science and model of mind/ Aaron Sloman |
|
Author: Slooman, Aaron; | Call Number: 006.3 Slo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| Bold retreat: a new strategy for old technologies, page 76 |
|
Author: Ron Adner and Daniel C. Snow | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New area partitioning strategy for unequal clustering of wireless sensor networks, hal. 75-79 |
|
Author: Amin Suharjono, Wirawan, Gamantyo Henrantoro; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New Strategy for Turbo Similarity Searching: Implementation ans Testing (179-184) |
|
Author: Nurul malim
Yong Pei-Chia
Shereena M. Arif; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New techniques for open vocabulary spoken document retrieval, Hal. 20-28 |
|
Author: Martin Wechsler; Munteanu; Peter Schauble; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result