| Your search for 42763 returns 6423 document(s) |
| Effient model checking of network authentication protocol based on SPIN, 100-104 |
|
Author: Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Verification of a Group Membershiap Protocol Using Model (471-488) |
|
Author: Valerio Rosset
Pedro F. Souto
Francisco Vasques; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Internet banking: Sebuah studi implementasi Infrastruktur |
|
Author: Bob Hardian; | Call Number: T-0111 | Edition: 1999 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi aplikasi wireless application protocol sebagai pengontrol sistem inventory, Hal. 444-447 |
|
Author: Rusydi Umar, Wahyu P. Abdus; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Speech-act-based negotiation protocol: design, implementation, and test use, page 360 |
|
Author: Man Kit C. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design and implementation of the connectionless network protocol (CLNP) as loadable kernel modules in linux kernel 2.6, HAL. 245-252 |
|
Author: Bunga Sugiarto; Danny Laidi; Arra di Nur Rizal; Maulahikmah Galinium; Pradana Atmadiputra; Melvin Rubianto; Husni Fahmi; Tri Sampurno; Marsudi Kisworo; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an implementation-oriented specification of TP protocol in LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 93-109 |
|
Author: Ing Widya; Gert-Jan van der Heijden; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis pengembangan sistem informasi klinik vocation wellness center universitas indonesia dengan pendekatan desaign science research |
|
Author: Basyira Sabita,
Indri Klarissa Ramadhanti,
Naufal Pramudya Yusuf; | Call Number: SK-2131 (Softcopy SK-1613) Source Code SK-798 | Edition: Ave Adriana Pinem | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis faktor-faktor yang mempengaruhi penggunaan uang elektronik untuk perwujudan less cash society di Universitas Indonesia |
|
Author: Ardanella Purnamasari Nelwan; | Call Number: SK-1293 (SOFTCOPY SK-775) | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis fungsionalitas perangkat lunak customer relationship management pada perguruan tinggi: studi kasus Universitas Indonesia |
|
Author: Bellalita R. Samik Ibrahim; | Call Number: SK-1318 (Softcopy SK-800) | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result