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