| Your search for 10419 returns 484 document(s) |
| Logic minimization algorithms for VLSI synthesis |
|
Call Number: 621.381 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic techniques: principles and practices |
|
Author: Stonham, C.J.; | Call Number: 621.381 Sto d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pulse and logic circuits/ Richard L. Castellucis |
|
Author: Castellucis, Richard L.; | Call Number: 621.381 534 Cas p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Mathematical introduction to logic/ Herbert B. Enderton |
|
Author: Enderton, Herbert B.; | Call Number: 511.3 End m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic proof, and sets/ Marvn L. Bittinger |
|
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit l | 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
|
| Digital Logic Design, Second Edition |
|
Author: Tan Tuck Choy,Aaron; | Call Number: 621.39 Aar d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational Complexity: Quantum Lower Bounds for The Collision and the Element Distinctness Problems |
|
Author: S. Aaronson, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Machine Learning and Computational Learnig: Learning Functions Represented as Multiplicity Automata |
|
Author: A. Beimel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithm 799: resolve: an implementation of checkponiting for the reverse or adjoint mode of computational differentiation |
|
Author: Andreas O. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result