| Your search for 23809 returns 411 document(s) |
| Computer arithmetic: principles architecture and design/Kai Hwang |
|
Author: Hwang, Kai; | Call Number: 004.22 Hwa c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming with constraints: an introduction/ Kim Marriott |
|
Author: Marriott, Kim; | Call Number: 005.13 Mar p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical theory of program correctness/ Jaco de Bakker |
|
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The mathematics of inheritance systems/ David S. Touretzky |
|
Author: Touretzky, David S.; | Call Number: 006.3 Tou m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. 2: deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The deductive foundation of computer programming |
|
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital experiments |
|
Author: Gasperini, Richard E.; | Call Number: 621.395 Gas D | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logical form in natural language/ William G. Lycan |
|
Author: Lycan, William G.; | Call Number: 412 Lyc i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result