| Your search for 52509 returns 3322 document(s) |
| An Empirical Study on the Effect of Formal Control on Salesperson' s Customer Relationship Quality (V2-472--V2-476) |
|
Author: Lv Tao
Qin Xinli; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi dan analisis terhadap verifikasi perangkat lunak berbasis java dengan T2 framework dengan studi kasus electronic votes manager sebagai perangkat lunak berbasis komponen/ Aziz Yudi Prasetyo |
|
Author: Aziz Yudi Prasetya; | Call Number: SK-0721 (Sofcopy SK-0203) Source code SK-0185 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Languages and Complexity Theory: Time-Space Trade-Off Lower Bounds for Randomized Computation of Decision Problems, A Complete Problem for Statistical Zero Knowledge |
|
Author: P. Beame, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal analysis of an authentication protocol for UMTS ( Universal Mobile Telecommunications System) using avispa/ Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya |
|
Author: Kurnia, Ilham W.; Stefanus, L. Yohanes; Saptawijaya, Ari | Call Number: Pub Staf.JN-0006 | Type: Jurnal Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition, (LNCS-Lecture Notes in Computer Science 1201) Hal 186-198 |
|
Author: David Sinclair; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
|
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380 |
|
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The industrial take-up of formal methods in safety-critical and other areas: a perspective, (LNCS-Lecture Notes in Computer Science 670) Hal 183-195 |
|
Author: Jonathan Bowen; Victoria Stavridou; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Transhumance,livelihood and sustainable development and conflict between formal institution and communal governance: and evaluative note on east himalayan state of sikkim, india (V1-1 s/d V1-07) |
|
Author: Anjan Chakrabarti; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
|
Author: Joseph, Mathai; | Call Number: 004.33 Jos j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result