| Your search for 24639 returns 2451 document(s) |
| Automated reasoing: 33 basic research problems |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aplikasi information retrieval untuk pembentukan tesaurus berbahasa Indonesia secara otomatis, Hal. 76-83 |
|
Author: Agus Zainal Arifin; Arif Bramantoro, Cholifah; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: introduction and applications/ Larry Wos |
|
Author: Woss, Larry; | Call Number: 006.3 Aut | 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
|
| Computer-aided design and VLSI device cevelopment second edition/ Kit Man Cham; Soo-Young Oh; John L. Moll; Keunmyung Lee; Paul Vande Voorde |
|
Author: Kit, Man Cham; | Call Number: 621.395 Cha C | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital Signal Processing: A Computer Based-Approach 3rd ed. |
|
Author: Mitra, Sanjit K.; | Call Number: 621.382 2 Mit d | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital Signal Processing: A Computer Based-Approach 3rd ed |
|
Author: Mitra, Sanjit K.; | Call Number: 621.382 2 Mit d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the 12th int. conference on distributed computing systems June 9-12, 1992, Yokohama Japan/Sponsored by The IEEE Computer Soc. Tech. Committe on distributed computing |
|
Call Number: 004.36 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis kinerja algorithma Hopscotech untuk konduktivitas, panas pada komputer paralel berbasis transputer/I Made Astawa |
|
Author: Astawa, I. Made; | Call Number: 004.35 Ast a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengantar eksternal paralel dan implementasi pada PVM (Parallel virtual machine)/Eko Sediyono |
|
Author: Sediyono, Eko; | Call Number: 004.35 Sed p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result