Search Result Save to File Save as CSV
Your search for 16148 returns 1192 document(s)
Implementing a State-Based Application Using Web Objects in XML (577-594)
Author: Carlos R. Jaimez Gonzakes Simon M. Lucas; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementing a Device DTM and Integrating into FDUIA for Verification (V1-479 -- V1-483)
Author: Zhang Yu Pan Dongbo Liu Feng; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementing Integrated Internal Control Life Cyle at Telecom Company (249-254)
Author: Dewi Puspasari Budi Yuwono; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementing Efficient Mangement And Security of Removable Strorage FVM (V2-80--V2-83)
Author: Jun Ma Jiangchun Ren Zhiying Wang Jiangjiang Wu Yong Cheng Songzhu Mei; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Deductive search for errors in the free data type specifications using model generation, Hal. 211-225
Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The MYDDAS project: using a deductive database for traffic characterization, ((LNCS-Lecture Notes in Computer Science 3668) Hal 424-426
Author: Michel Ferreira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310
Author: Ajay Mallya; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Skema Fully homomorphic encryption gentry versi integer dan implementasinya dengan menggunakan bahasa pemrograman python
Author: Prahesa Kusuma Setia; | Call Number: SK-1164 (Softcopy SK-646) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next