Your search for 10394 returns 1873 document(s) |
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
|
Logic for computer computer scientist |
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computabililty and logic 2nd ed. |
Author: Boolos, George; | Call Number: 511.3 Boo c | 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
|
Digital logic design and applications |
Author: McCurdy, Lyle B.; | Call Number: 621.381 McC d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic game of logic |
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computability and logic 2nd ed. |
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic for computer science |
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic and mechanical theorem proving |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introductory logic and sets for computer scientist |
Author: Nissanke, Nimal; | Call Number: 004.015 Nis i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|