| Your search for 24086 returns 1579 document(s) |
| 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
|
| Syntactic pattern recognition: an introduction |
|
Author: Gonzalez, Rafael C.; | Call Number: 006.4 Gon s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to automata theory, languages and computation |
|
Author: Hopcroft, John E.; | Call Number: 629.831 2 Hop i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of finite automata |
|
Author: Carrol, John; | Call Number: 511 Car t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan prototipe semantic portal berbasis ontologi E-goverment: studi kasus pemerintah kota Depok |
|
Author: Abdul Muttaqien; Akhmad Mubarok; M. Yudha A.; Siti Fuadi Fithri; | Call Number: SP-138 (Softkopi SP-78) SCSP-61 | Type: Student Project (SP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming F# |
|
Author: Smith, Chris; | Call Number: 006.7 Smi p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational complexity |
|
Author: Papadimitriou, Christos M.; | Call Number: 511.3 Pap c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Descriptive complexity/Neil Immerman |
|
Author: Immerman, Neil; | Call Number: 511.3 Imm d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical Programming |
|
Call Number: [8 (1975): 1-3; 9 (1975): 1-3, (1975): 4-6, 11 (1976): 3, 10 (1976): 1-3, 12 (1977): 1-3, 13 (1977): 1-3, 14 (1977): 1-3, 16 (1979): 1-3, 18 (1980): 1-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result