Search Result
Save to File
Your search for
53432
returns
3396
document(s)
Formal analysis of an authentication protocol for UMTS (Universal Mobile Telecommunications systems) Using AVISPA
Author: Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 1 No. 2 Juni 2008 | Type: UI-ana Indek Artikel
Find Similar
|
Add To Favorites
|
Detail in New Window
CMMI Improving software and systems development processes using capability maturity model integration (CMMI-DEV)
Author: Kneuper, Ralf; | Call Number: 005.1 Kne c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Modeling and combining evidence provided document Relationship using probabilistic argumentation systems, Hal. 182-189
Author: Justin Picard; | Call Number: SEM-150 | Type: Indeks Artikel prosiding/Sem
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
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
Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390
Author: Anuj Puri and Pravin Varniya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
using computer algebra systems in secondary school mathematics: issues of curriculum, assessment and teaching ( hal 40-74 )
Author: Kaye stacey; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Using the end-user computing satisfaction instrument to measure satisfaction with web-based information systems (hal 315 - 319)
Author: Dedi Rianto Rahadi; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Digital systems design and prototyping: using field programmabel logic and hardware description languages 2 nd ed
Author: Salcic, Zoran; | Call Number: 621.395 Sal d | Type: Buku
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
Prev
13
14
15
16
17
18
19
20
21
22
Next