| Your search for 36725 returns 225 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
|
| Contraint-based analysis of composite solvers (384-389) |
|
Author: Evgueni Petrov
Eric Monfroy; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rational clear quest: installation guide/ Rational Soft. Dev. Co |
|
Call Number: 005.43 Rat | Edition: V 2002.05.00 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Politics of Poetics: The Quest for Ethno- Culcutural Identity and Selfhood in Modern African Fiction |
|
Author: B.S.Brar; Sukhdev Siingh; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan script generator dari quest specification dan implementasinya pada game RPG neverwinter nights |
|
Author: Aradea Krisnaraga; | Call Number: SK-1309 (Softcopy SK-791) Source code SK-524 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the evaluation of boolean operators in the extended boolean retrieval framework, Hal. 291-298 |
|
Author: Joon Ho Lee; Won Yong Kim, Myoung Ho Kim; Yoon Joon Lee; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The complexity of boolean functions/Ingo Wagener |
|
Author: Wegener, Ingo; | Call Number: 511.3 Weg c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cluster analysis fo hypertext systems, Hal. 116-124 |
|
Author: Rodridgo A. Botafogo; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parameterised compression fo sparse bitman, Hal. 274-285 |
|
Author: Alistair Moffat; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Finite-difference methods fo partial differential equations |
|
Author: Forsythe, George E.; | Call Number: 515.35 For f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result