Cloud Computing and Security: First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers
- takbook
- سایر محصولات
- 12th ژانویه 2018
- بدون نظر
Cloud Computing and Security: First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers
Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang (eds.)…
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Christian Urban, Xingyuan Zhang (eds.)…