Your search for 10396 returns 2692 document(s) |
Curves and surfaces in geometric modeling: theory and algorithms/ Jean Gallier |
Author: Gallier, Jean; | Call Number: 516.352 Gal c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Microcomputer structures: an introduction to digital electronic, logic design, and computer architecture |
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming |
Call Number: 005.115 Log | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated reasoing: 33 basic research problems |
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Logic machines & diagrams/ Martin Gardner |
Author: Gardner, Martin; | Call Number: 621.395 Gar l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Komputabilitas/Heru Suhartanto |
Author: Suhartanto, Heru; | Call Number: 005.131 Suh k | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to logic programming |
Author: John Hogger, Christopher; | Call Number: 005.115 Joh i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A new introduction to modal logic |
Author: Hughes, G.E.; | Call Number: 160 Hug n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|