| Your search for 13431 returns 5303 document(s) |
| Propagation model verification using elementary environment spesific method for analyzing 802. 16e system coverage in Bandung city. hal, 15 |
|
Author: Andito Dwi Pratomo, Legijono, Denny Sukarman, Hadi Hariyanto; | Call Number: SEM-317 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Influence processes for information technology acceptance: An elaboration likelihood model, page 805-825 |
|
Author: Anol Bhattacherjee and Clive Sanford | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information technology governance in information technology investment decision processes: the impact of investment characteristics, external environment, and internal context, page 67-96 |
|
Author: Yajiong Xue, Huigang Liang, and William R. Boulton | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409 |
|
Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mae-A System Model and Environment for Managing Architectural Evolution, page 240-276 |
|
Author: R. Roshandel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A model for input and output of multilingual text in a windowing environment, page 438 |
|
Author: Hiroyoshi Ohara | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combinatory representation of mobile processes,Hal 348-360 |
|
Author: Kohei Honda; Nobuko Yoshida; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Capturing bottom-up information technology use processes: a complex adaptive systems model, page 505-532 |
|
Author: Ning Nan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23) |
|
Author: Frank Puhlmann; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
|
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result