HIGH SCHOOL METHODS
- 期刊名称Butler University Botanical Studies
- 作者Review by: Ray C. Friesner
- 卷第3卷
- 印刷ISSN0096-4336
- 电子ISSN2334-3885
- 文件大小207.03KB
- 发表时间1935-04
- DOI10.2307/41811792
- 页码147-148
[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 - Certified ACKBOLochmann, Alexander; Sternagel, Christian · 2019
[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 compilerYe, Qianchuan; Delaware, Benjamin · 2019
[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 - Eliminating reflection from type theoryWinterhalter, Théo; Sozeau, Matthieu; Tabareau, Nicolas · 2019
[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 - Verified solving and asymptotics of linear recurrencesEberl, Manuel · 2019
[ACM Press the 2019 8th International Conference - Penang, Malaysia (2019.02.19-2019.02.21)] Proceedings of the 2019 8th International Conference on Software and Computer Applications - ICSCA '19 - CDASLi, Qi; Chen, Hao · 2019
[ACM Press the 2019 8th International Conference - Cairo, Egypt (2019.04.09-2019.04.12)] Proceedings of the 2019 8th International Conference on Software and Information Engineering - ICSIE '19 - TelemedicineMohamed, Walaa; Abdellatif, Mohammad M. · 2019
[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 - Dynamic class initialization semantics: a Jinja extensionMansky, Susannah; Gunter, Elsa L. · 2019
[ACM Press the 2019 8th International Conference - Penang, Malaysia (2019.02.19-2019.02.21)] Proceedings of the 2019 8th International Conference on Software and Computer Applications - ICSCA '19 - ShellfierPan, Yue; An, Jing; Fan, Wenqing; Huang, Wei · 2019