Darko Stefanovic, editor
DNA computing and molecular programming : 18th international conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Hsin-Hsi Chen, editor
The outreach of digital libraries: a globalized resource network : 14th International Conference on Asia-Pacific Digital Libraries, ICADL 2012, Taipei, Taiwan, China November 12-15, 2012, Proceedings
Springer, 2012
eBooks
Artificial immune systems : 11th international conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings
editors, Carlos A. Coello Coello ... [and others]
Springer-Verlag , 2012
eBooks
Convergence and hybrid information technology : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings
edited by Geuk Lee ... [and others]
Springer-Verlag, 2012
eBooks
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