Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
editors, Lennart Beringer, Amy Felty
Springer-Verlag, 2012
 eBooks
Geuk Lee, editor
Convergence and hybrid information technology : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings
[Springer-Verlag;, ], 2012
 eBooks
JingTao Yao, editor
Rough sets and current trends in computing : 8th international conference, RSCTC 2012, Chengdu, China, August 17-20, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Xinbing Wang, editor
Wireless algorithms, systems, and applications : 7th international conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
China Satellite Navigation Conference (CSNC) 2012 Proceedings: the 3rd China Satellite Navigation Conference (CSNC 2012) Guangzhou, China, May 15-19, 2012 revised selected papers
Jiadong Sun, Jingnan Liu, Yuanxi Yang, Shiwei Fan, editors
[Springer, Springer], 2012
 eBooks