| Your search for 54033 returns 1412 document(s) |
| Extending the Automated Feature Model Analysis Capability of the Abstract Behavioral Specification. Hal 453-458 |
|
Author: Adriyan Chairul Achda, Ade Azurat, Radu Muschevici, Maya R.A Setyautami; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An automated sevice presentation method for supporting end-user composition |
|
Author: Selo Sulistyo and Andreas Prinz; | Call Number: SEM-367 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using latent semantic analysis for automated grading programming assignments. ( hal. 82-88 ) |
|
Author: Kartinah Zen, D.N.F Awang Iskandar, Ongkir Linang; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated query transformation for searching semantically rich structured collections ( hal. 175-181 ) |
|
Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov |
|
Call Number: 006.3 Han | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: 33 basic research problems/Larry Wos |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic analysis for automated design of analog integrated circuits/Georges Gielen |
|
Author: Gielen, Georges; | Call Number: 621.381 Gie s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 18th international conference on automated deduction copenhagen,denmark,july 27-30,2002 proceedings |
|
Call Number: SEM-281 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Dashboard Automated Test Error PT. Global Digital Niaga (BLIBLI) |
|
Author: Muhammad Daril N.B.; Nur Fauziah Hasanah; | Call Number: SK-2025 (Softcopy SK-1507) | Edition: Denny | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated IE: sebuah piranti bantu analisis berbasis metodologi information economis |
|
Author: Yencie Hendrawan,; | Call Number: T-0432 (Softcopy T-0060) | Edition: 2003 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result