MARC보기
LDR01846nam u200589 4500
001000000470699
00520220223115538
008220131s2021 us ||||||||||||||c||eng d
020 ▼a 9798535591117
035 ▼a (MiAaPQ)AAI28649799
040 ▼a MiAaPQ ▼c MiAaPQ ▼d 247004
0820 ▼a 004
1001 ▼a Zhang, Hengchu.
24510 ▼a Automating Program Analysis for Differential Privacy.
260 ▼a [S.l.]: ▼b University of Pennsylvania., ▼c 2021.
260 1 ▼a Ann Arbor: ▼b ProQuest Dissertations & Theses, ▼c 2021.
300 ▼a 212 p.
500 ▼a Source: Dissertations Abstracts International, Volume: 83-03, Section: A.
500 ▼a Advisor: Pierce, Benjamin C.
5021 ▼a Thesis (Ph.D.)--University of Pennsylvania, 2021.
506 ▼a This item must not be sold to any third party vendors.
590 ▼a School code: 0175.
650 4 ▼a Computer science.
650 4 ▼a Grammar.
650 4 ▼a Language.
650 4 ▼a Programming languages.
650 4 ▼a Syntax.
650 4 ▼a Logic.
650 4 ▼a Optimization.
650 4 ▼a Design.
650 4 ▼a Noise.
650 4 ▼a Algorithms.
650 4 ▼a Privacy.
650 4 ▼a Queries.
650 4 ▼a Semantics.
690 ▼a 0984
690 ▼a 0395
690 ▼a 0389
690 ▼a 0679
71020 ▼a University of Pennsylvania. ▼b Computer and Information Science.
7730 ▼t Dissertations Abstracts International ▼g 83-03A.
773 ▼t Dissertation Abstract International
790 ▼a 0175
791 ▼a Ph.D.
792 ▼a 2021
793 ▼a English
85640 ▼u http://www.riss.kr/pdu/ddodLink.do?id=T16053518 ▼n KERIS ▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다.
980 ▼a 202202 ▼f 2022
990 ▼a ***1012033
991 ▼a E-BOOK