Theory and applications of satisfiability testing – SAT 2012 : 15th international conference, Trento, Italy, June 17-20, 2012 : proceedings
editors, Alessandro Cimatti, Roberto Sebastiani
Springer-Verlag, 2012
 eBooks
Ying Tan, editor
Advances in swarm intelligence : third international conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings, part II
[, Springer-Verlag], 2012
 eBooks
Information access evaluation : multilinguality, multimodality, and visual analytics : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012 : proceedings
edited by Tiziana Catarci
Springer-Verlag, 2012
 eBooks
Fun with algorithms : 6th international conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings
edited by Evangelos Kranakis, Danny Krizanc and Flaminia Luccio
Springer-Verlag, 2012
 eBooks
Information processing in computer-assisted interventions : third international conference, IPCAI 2012, Pisa, Italy, June 27, 2012 : proceedings
editor, Purang Abolmaesumi
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>