Your search for 15955 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
|