Search Result Save to File Save as CSV
Your search for 2936 returns 898 document(s)
System design with microprocessors/ D. Zissos
Author: Zissos, D.; | Call Number: 621.381 9 Zis s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symobolic logic 5th ed/ Irving M. Copi
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | 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 
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha 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 
Logic proof, and sets/ Marvn L. Bittinger
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematics for computer science/Arnold and I. Guessarian
Author: Arnol, A.; | Call Number: 511.32 Arn m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to non-classical logic/ Graham Priest
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Chess skill in man and machine/ edited by Peter W. Frey
Author: Krutz, Ronald L.; | Call Number: 794.1 Che | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pengindeksan Konseptual secara dinamis dengan singular value decomposition pada sistem temu kembali informasi
Author: Adi Wahyu Pribadi; | Call Number: T-0812 ( Softcopy T-0467) Source Code T-0070 | Edition: 2006 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   15 16 17 18 19 20 21 22 23 24  Next