Search Result
| Your search for 52180 returns 171 document(s) |
| 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 |
| Differentially Private Optimization Algorithms for Deep Neural Networks |
| Author: Roan Gylberth; Risma Adnan; Setiadi YAzid; T. Basaruddin; | Call Number: Mak T Jilid 016-035 (T-1211) (Mak T-021) | Type: Makalah Tesis |
| 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 |
| Proving concurrent constraint programs correct,Hlm 98-108 |
| Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | 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 |
| Analisis manajemen virtual private network |
| Author: Issotiyo Prianto Budi Sulistiyo,; | Call Number: T-0308 (Softcopy T-0642) | Edition: 2002 | Type: Tesis |
| 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 |
| 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 |
| Prev 1 2 3 4 5 6 7 8 9 10 Next |