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