Search Result Save to File Save as CSV
Your search for 14371 returns 1060 document(s)
Programming embedded systems with ADA/ V.A Downes and S.J. Goldsack
Author: Downes, V.A.; | Call Number: 005.133 Dow p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A New framework for itemset generation, Hal. 18-24
Author: Charu C. Aggarwal and Philip S. Yu; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The art of real-time programming: for MS-DOS and embedded systems/ Michael D. Mcdonnell
Author: Mcdonnell, Michael D.; | Call Number: 004.33 Mcd a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logics of programs : proceedings 1981
Call Number: 004 Log | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logics for Artificial Intelligence
Author: Turner, Raymond; | Call Number: 006.3 Tur 1 | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logics of time and computation
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning with expressive discription logics: theory and practice, Hal. 1-15
Author: Ian Harrocks; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi komunikasi layanan web menggunakan hol dan unity
Author: Ahmadi Agra; | Call Number: SK-1226 Softcopy SK-708 Source code SK-490 | Type: Skripsi
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 
The HR program for theorem generation, Hal. 285-289
Author: Simon Colton; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next