Search Result Save to File Save as CSV
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