| Your search for 36716 returns 2478 document(s) |
| Mathematical modelling |
|
Call Number: 511-8 Mat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic |
|
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IP over 2000 |
|
Author: Christopher M. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penggunaan satz extensions untuk memecahkan masalah -masalah sat dunia nyata, Hal. 142-145 |
|
Author: Ambulagan; | Call Number: SEM-262 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
|
Author: Horst Samulowitz; Fahiem Bacchus; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
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
|
| 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
|
| Application review information system-based web services academic based on approach tam a case study in amik bsi jakarta, 243-254 |
|
Author: Eni Heni Hermaliani; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic computational complexity for boolean information retrieval |
|
Author: Koubarakis, Manolis; Skiadopoulos, Spiros | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computational complexity for boolean information retrieval |
|
Author: Koubarakis, Manolis; Skiadopoulos, Spiros | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result