Search Result
Save to File
Your search for
19415
returns
1551
document(s)
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424)
Author: Long H. Pham Jun Sun Quang Loc Le; | Call Number: SEM-374 | 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
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229)
Author: Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Local Verification of Global Integrity Constrains in Distributed Databases (49-58)
Author: Ashish Gupta Jennifer Widom; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Analisis manajemen perubahan berbasis perencanaan strategis SI/TI pada perguruan tinggi : Studi Kasus ABFI Institute Perbanas
Author: Imam Nursianto; | Call Number: KA-315 (Softcopy KA-313) | Edition: 2012 | Type: Karya Akhir (KA)
Find Similar
|
Add To Favorites
|
Detail in New Window
Framework e-commerce/Riyeke Ustadiyanto
Author: Ustadiyanto, Riyeke; | Call Number: 650.028 Ust f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An Integrative Framework for IS Quality Management
Author: Antonis C. Stylianou, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Framework harus jelas, page 36
Author: Ignatius Winarto | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
A framework for symmetric band reduction
Author: Christian H. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Collaborative learning framework, HAL. A.29-A.30
Author: Sari Armiati; Husni S. Sastramihardja; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
19
20
21
22
23
24
25
26
27
28
Next