| Your search for 37166 returns 3304 document(s) |
| A Hybrid asynchronous system design environment, Hal. 91-98 |
|
Author: C. Farnsworth; D.A. Edwards; Jianwei Liu and S.S. Sikand; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid RAM System's Development APIs (101-106) |
|
Author: Hidayat Febiansyah
Jin Baek Kwon; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital watermarking using inter-block correlation: extension to JPEG coded domain, Hal. 133- 138 |
|
Author: Yoonki Choi; Kiyoharu Aizawa; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trust Extension Device: Providing Mobility and Portability of Trust in Cooperative Information System (253-271) |
|
Author: Surya Nepal
John Zic
Hon Hwang
David Moreland; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
|
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Feature Grouping using the Abstract Behavioral Specification Language. Hal 483-489 |
|
Author: Reza Mauliadi, Ade Azurat, Radu Muschevici, Maya R.A Setyautami; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
|
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Delta-relational mapping using the abstract behavioral specification language |
|
Author: Niken Fitria Apriani; | Call Number: T-1132 (Softcopy T-841) Source code T-243 | Edition: 2015 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Spreadsheet Calculations to Demonstrate the Importance of a Correct Problem Specification (475-482) |
|
Author: Gabriela Lovaszova; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Detecting Changes to Hybrid XML Documents Using Relational Databases (482-492) |
|
Author: Erwin Leonardi
Sri L. Budiman
Sourav S. Bhowmick; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result