[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - A verified protocol buffer compiler
- 作者Ye, Qianchuan; Delaware, Benjamin
- 文件大小281.31KB
- 发表时间2019
- DOI10.1145/3293880.3294105
- 页码222-233
Hyperlysinemia Associated with RetardationGhadimi, H.; Binnington, V. I.; Pecora, P. · New England Journal of Medicine · 1965
Secularism, Secularization, and Why the Difference MattersPecora, V. P. · Genre · 2011
The Lotus and the Lion: Buddhism and the British EmpirePecora, V. P. · Modern Language Quarterly · 2010
Lateral growth control in excimer laser crystallized polysiliconL. Mariucci; R. Carluccio; A. Pecora; V. Foglietti; G. Fortunato; P. Legagneux; D. Pribat; D. Della Sala; J. Stoemenos · 1999
The Politics of Postsecular Religion: Mourning Secular Futures. By Ananda AbeysekaraPecora, V. P. · Journal of the American Academy of Religion · 2010
Children Placed in Long-Term Foster Care: An Intake Profile Using the Child Behavior Checklist/4-18Armsden, G.; Pecora, P. J.; Payne, V. H.; Szatkiewicz, J. P. · Journal of Emotional and Behavioral Disorders · 2000
Correlation of Magnetic Resonance Imaging With Knee Anterolateral Ligament Anatomy: A Cadaveric StudyHelito, C. P.; Helito, P. V. P.; Bonadio, M. B.; Pecora, J. R.; Bordalo-Rodrigues, M.; Camanho, G. L.; Demange, M. K. · Orthopaedic Journal of Sports Medicine · 2015
The Reality of EthnomethodologyPiccone, P. · Telos · 1975
On the Social Situation of MusicAdorno, T. W. · Telos · 1978
Beyond Otherness or: The Spectacularization of AnthropologyFriedman, J. · Telos · 1987
Horkheimer's Pessimism and CompassionGunderson, R. · Telos · 2012
Marxist Perspectives (1978-1981) and BeyondGonzales, M. · Telos · 1981
Hayek: A Critiquede Benoist, A. · Telos · 1998
The Crisis of Capitalist DemocracyPabst, A. · Telos · 2010
Law and the Ordinary: Hart, Wittgenstein, JurisprudenceLefebvre, A. · Telos · 2011