| Your search for 13423 returns 4723 document(s) |
| A Compiler for Analyzing Cryptograohic Protocols Using Noninterference, page 488-528 |
|
Author: Antonio Durante, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compiler: their design and construction using pascal |
|
Author: Hunter, Robin; | Call Number: 005.453 Hun c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The grap architecture and C compiler, page 62 |
|
Author: Timothy J.C. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Delta coherence protocols, page 23 |
|
Author: Craig W. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Shift protocols to agents, page 63 |
|
Author: Bill Joy | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aspect-Oriented Programming Using Reflection and Metaobject Protocols |
|
Author: Gregory T. Sullivan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Piperench: a reconfigurable architecture and compiler, page 70 |
|
Author: Seth Copen Goldstein | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Existential Type for Relaxed Noninterference (73-92) |
|
Author: Raimil Cruz
Eric Tanter; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying Security Protocols with Brutus, page 443-487 |
|
Author: E. M. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Propagation model verification using elementary environment spesific method for analyzing 802. 16e system coverage in Bandung city. hal, 15 |
|
Author: Andito Dwi Pratomo, Legijono, Denny Sukarman, Hadi Hariyanto; | Call Number: SEM-317 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result