Your search for 19397 returns 2691 document(s) |
Lectures on the logic of computer programming |
Author: Manna, Zohar; | Call Number: 005.1 Man l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic design and computer organization |
Author: Lewin, Morton H.; | Call Number: 621.395 Lew l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fundamentals of computer logic |
Author: Hutchison, David; | Call Number: 621.395 Hut F | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Digital logic and computer design |
Author: Mano, M. Morris; | Call Number: 621.395 Man d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer arithmetic logic and design |
Author: Spaniol, Otto; | Call Number: 621.39 Spa C | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The logic of computer aritmetic |
Author: Fores, Ivan; | Call Number: 510.78 Flo l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Clausal form logic: an introduction to the logic of computer reasoning |
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated deduction - Code 18 18th international conference on automated deduction Copenhagen, Denmark, July 2002 Proceedings |
Author: Voronkv, Andri; | Call Number: 025.04 Vor a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
AAAI-90 Proceedings Eight national conference on artificial intelligence volume one July 29-August 3, 1990 |
Call Number: SEM-119 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings on the 2011 international conference on electrical engineering and informatics July 17-19 2011vo. 3 (Bandung Indonesia) |
Call Number: SEM-368 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|