| Your search for 1929 returns 1928 document(s) |
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Blackboard systems/edited by Robert Engelmore, Tony Morgan |
|
Call Number: 006.3 Bla | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IP multimedia subsystem (IMS) mendorong munculnya peluang dan model bisnis baru, Hal. 338-342 |
|
Author: Nanang Ismail; | Call Number: SEM-271 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to data structures with applications |
|
Author: Tremblay, Sorenson; | Call Number: 001.644 2 Tre i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data base file organization: theory and applications of the consecutive retrieval property/edited by Sakti P. Ghosh; Yahiko Kambayashi; Witold Lipski |
|
Call Number: 621.395 Dat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Desain dan implementasi basis data multidimensi untuk pengembangan aplikasi pemantauan biaya (studi kasus di PT ARCO) |
|
Author: Teja Sukmana; | Call Number: T-0257 (Softcopy T-0163) | Edition: 2001 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers in the navy/ edited by Jan Prokop |
|
Author: Prokop, Jan; | Call Number: 623.81 Pro c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problem solving with data structures using java: a multimedia approach |
|
Author: Guzdial, Mark; | Call Number: 005.73 Guz p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IPIL-interactive learning system using MATLAB and web-based multimedia system, HAL. 16-20 |
|
Author: Dodi Sudiana, Adri Gutama, Adhe Widi Astato; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result