| Your search for 6092 returns 5379 document(s) |
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital design 4th ed. |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design of computer and other complex digital devices/ Sunggu Lee |
|
Author: Lee, Sunggu; | Call Number: 621.381 5 Lee d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| System design with microprocessors/ D. Zissos |
|
Author: Zissos, D.; | Call Number: 621.381 9 Zis s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bit-slice microprocessor design/John Mick; Jim Brick |
|
Author: Mick, John; | Call Number: 621.395 Mic b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bit-slice microprocessor design/John Mick; Jim Brick |
|
Author: Mick, John; | Call Number: 621.395 Mic b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an effective and integrated design for information systems, Hal. 391-395 |
|
Author: Kouninef B; Abdi M.K.; Rahmouni M.K.; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result