| Your search for 36805 returns 839 document(s) |
| Tracing and proving ownership of digital objects, Hal. 184-187 |
|
Author: Sylvia Encheva, Gerard Cohen; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Robust protocols for proving ownership of images, Hal. 22- 27 |
|
Author: Mahalingam Ramkumar and Ali N. Akunsa; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trustworthy 100-Year Digital Objects: Evidence After Every Witness Is Dead, Page 406-436 |
|
Author: H. M. Gladney | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A theory of objects |
|
Author: Abadi, Martin; | Call Number: 005.131 Aba t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reusable Objects |
|
Author: David Morley, Stephen Chiu, Jason Robbins, Maddux, and Geoffrey Voelker; | Call Number: SEM-213 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving that Programs Are Differentially Private (3-18) |
|
Author: Annabelle Mclver
Carroll Morgan; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result