Search Result
Save to File
Your search for
3905
returns
3928
document(s)
Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137
Author: Oriol Roig; Jordi Cortadella and Enric Pastor; | Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23)
Author: Frank Puhlmann; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Performance of iSCSI protocol on virtual disk in ethernet LAN, HAL. 306-311
Author: Swee Liang AW; Wafaa Alsalihy; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Development of an information kiosk for user over wireles application protocol, HAL. 91-95
Author: Satma Shaheen, Mohd. Ajmal Kafeel; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Link failure prediction QoS routing protocol for manet, HAL. 1031-1036
Author: D. Satyanaryana, S.V. Rao; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Implementation of dynamic source routing as a routing protocol for bluetooth scatternet, HAL. 21- 26
Author: Lukas A. Pamungkas, Henny Y. Zubir; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
11
12
13
14
15
16
17
18
19
20
Next