Your search for 36329 returns 476 document(s) |
ANALISIS ALGORITMA HYBRID ANT COLONY OPTIMIZATION (ACO) DAN LOCAL SEARCH UNTUK OPTIMASI PEMOTONGAN BAHAN BAKU |
Author: Warih Maharani; | Call Number: SEM-341 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural deduction: a proof-theoretical study/ Da Prawitz |
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic machines & diagrams/ Martin Gardner |
Author: Gardner, Martin; | Call Number: 621.395 Gar l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Improved CRT-based broadcast authentication scheme in WSNs, hal. 47-50 |
Author: Yunjie Zhu, YuShen; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to logic programming |
Author: John Hogger, Christopher; | Call Number: 005.115 Joh i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A new introduction to modal logic |
Author: Hughes, G.E.; | Call Number: 160 Hug n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science:Modelling and reasoning about systems 2nd ed. |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science: modelling and reasoning about systems |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|