| Your search for 51918 returns 1888 document(s) |
| Programming applications with the wireles application protocol: the complete developer's guide/Steve Mann |
|
Author: Mann, Steve; | Call Number: 004.62 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Sistem pengiriman SMS berbasis application programming interface PT 1rstWAP Indonesia |
|
Author: Slamet; | Call Number: KP-0594 (Softkopi KP-163) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalization Of Arithmetic Algorithm In Vdhl Using Hol Theorem Prover |
|
Author: Dwi Teguh Priyantini; Ade Azurat; | Call Number: Mak T Jilid 016-035 (T-1210) (Mak T-020) | Type: Makalah Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Agreement and Policies in Cooperative Mobile Agent: Formalization and Implementation (683-700) |
|
Author: Fuyuki Ishikawa
Nobukazu Yoshioka
Shinichi Honiden; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research on Security Protocol Formalization based on Belief (V1-354 -- V1-356) |
|
Author: Kening Liu
Junyao Ye
Yinliang Wang; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of databases |
|
Author: Abiteboul, Serge; | Call Number: 005.74 Abi f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Databases an introduction |
|
Author: Rothwell, David M.; | Call Number: 005.74 Rot d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173 |
|
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
|
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| International seminar on ict: future trends and its application in agroindustry, marine, and tourism, Manado Indonesia-February 28th to March 1st 2007 workshop on e-learning campus unsrat-march 2nd 2007 |
|
Call Number: SEM-280 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result