| Your search for 27092 returns 872 document(s) |
| Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550 |
|
Author: Rakhmad Azhari; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural Language Understanding and Logic Programming II/ edited by V. Dahl and P Saint-Dizier |
|
Call Number: 006.35 Nat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputer structures: an introduction to digital electronic, logic design, and computer architecture |
|
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic |
|
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fuzzy logic and the internet/ Vincenzo Loia |
|
Call Number: 004.678 Fuz | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programmable logic handbook/Ashok K. Sharma |
|
Author: Sharma, Ashok K.; | Call Number: 621.395 Sha p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Basic VLSI design systems and circuits/Douglas A Pucknell |
|
Author: Pucknell, Douglas A.; | Call Number: 621.395 Puc b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Circuits, interconnections, and packaging for VLSI/H.B. Bakoglu |
|
Author: Bakoglu, H.B.; | Call Number: 621.395 Bak c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Printed circuits design: featuring computer-aided technologies |
|
Author: Ginsberg, Gerald L.; | Call Number: 621.381 531 Gin p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result