Your search for 16152 returns 3113 document(s) |
A Multilevel model for measuring fit between a firm’s competitive strategies and information systems capabilities, page 909-929 |
Author: Tim S. McLaren, Milena M. Head, Yufei Yuan, and Yolande E. Chan | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 460-463 |
Author: Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411 |
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224 |
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Extending the Understanding of End User Information Systems Satisfaction Formation: An Equitable Needs Fulfillment Model Approach Page 43-66 |
Author: N. Au, E. W. T. Ngai, and T. C. E. Cheng | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411 |
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan model customer knowledge management (CKM) pada perhotelan di Purbalingga dengan pendekatan Soft Systems Methodology (SSM) |
Author: Nur Chasanah; | Call Number: T-1054 (Softcopy T-763) Source Code T-195 | Edition: 2013 | Type: Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Rancangan model penyelenggaraan diklat berbasis e-training dengan soft systems methodology : Studi Kasus PPPPTK TK dan PLB Bandung |
Author: Wisnu Wibawa Surya Nugraha; | Call Number: KA -394 (Softcopy KA-393) MAK KA-056 | Edition: 2013 | Type: Karya Akhir (KA)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Designing a Conceptual Model for Rice Information Systems Using Gamification and Soft System Methodolgy |
Author: Mochammad Arief Hermawan Sutoyo; Dana Indra Sensuse; | Call Number: Mak T Jilid 036-070 (T-1249) (Mak T-054) | Type: Makalah Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|