Search Result
Save to File
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