http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
The Next 700 Data Description Languages
Fisher, K.; Mandelbaum, Y.; Walker, D. ACM; 1999 2006 p.2-15
A Hierarchical Model of Data Locality
Zhang, C.; Ding, C.; Ogihara, M.; Zhong, Y.; Wu, Y. ACM; 1999 2006 p.16-29
Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant
Leroy, X. ACM; 1999 2006 p.42-54
Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations
Bishop, S.; Fairbairn, M.; Norrish, M.; Sewell, P.; Smith, M.; Wansbrough, K. ACM; 1999 2006 p.55-66
Decidability and Proof Systems for Language-Based Noninterference Relations
Dam, M. ACM; 1999 2006 p.67-78
A Logic for Information Flow in Object-Oriented Programs
Amtoft, T.; Bandhakavi, S.; Banerjee, A. ACM; 1999 2006 p.91-102