Search Result
Save to File
Your search for
36707
returns
568
document(s)
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
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
Java by example edisi indonesia
Author: Jackson, Jerry R.; | Call Number: 005.13 Jac j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Core java: vol.1: fundamentals
Author: Horstman, Cay S.; | Call Number: 005.133 Hor c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Java programming for the internet
Author: Loy & Berry; | Call Number: 005.133 Loy j | Type: Softcopy Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Java script 1.5 by example
Author: Kingsley-Hughes, Adrian; | Call Number: 005.133 Kin j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Java Virtual Machine
Author: Meyer, Jonathan; | Call Number: 005.133 Mey j | Type: Softcopy Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Java by example edisi indonesia
Author: Jackson, Jerry R.; | Call Number: 005.13 Jac j | Type: Softcopy Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
11
12
13
14
15
16
17
18
19
20
Next
Search Result