| Your search for 10828 returns 2692 document(s) |
| Automated reasoning: introduction and applications/ Larry Wos |
|
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: 33 basic research problems/Larry Wos |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: their complexity and efficiency 2nd ed./Lydia Kronsjo |
|
Author: Kronsjo, Lydia; | Call Number: 511 Kro a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedded systems: architecture, programming and design |
|
Author: Kamal, Raj; | Call Number: 004.33 Kam e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. I: deductive reasoning |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Karel the robot: a gentle introduction to the art of programming |
|
Author: Pattis, Richard E.; | Call Number: 004.61 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Logical basis for computer programming vol. II deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Database Computers/ Olin H. Bray; Harvey A. Freeman |
|
Author: Bray, Olin H.; | Call Number: 005.74 Bra d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers and information processing |
|
Author: Davis, Gordon B.; | Call Number: 004 Dav c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers and information processing/ Gordon B. Davis |
|
Author: Davis, Gordon B.; | Call Number: 004 Dav c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result