| Your search for 6599 returns 3548 document(s) |
| 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
|
| The art of computer programming vol. 4 A : Combinatorial algorithms part 1 |
|
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Art of computer programming vol. 1 : fundamental algorithms 3rd ed. |
|
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The art of computer programming vol. 3: sorting and searching 2nd ed. |
|
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design & memory: computer programming in the 20th century/Peter H. Huyck |
|
Author: Huyck, Peter H.; | Call Number: 004.61 Huy d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | 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
|
| Modal logic/ Patrick Blackburn |
|
Author: Blackburn, Patrick; | Call Number: 511.3 Bla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result