[ACM Press the Genetic and Evolutionary Computation Conference Companion - Prague, Czech Republic (2019.07.13-2019.07.17)] Proceedings of the Genetic and Evolutionary Computation Conference Companion on - GECCO '19 - Kinder surprise's debut in discrete optimisation
- 作者Wagner, Markus
- 文件大小2351.41KB
- 发表时间2019
- DOI10.1145/3319619.3326801
- 页码1813-1820
[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