Information technologies in biomedicine : third international conference, ITIB 2012 Gliwice, Poland, June 11-13, 2012 : proceedings
edited by Ewa Pietka, Jacek Kawa
Springer-Verlag, 2012
eBooks
Datalog in academia and industry : second international workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012 : proceedings
editors, Pablo Barcelo, Reinhard Pichler
Springer-Verlag, 2012
eBooks
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
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
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