Artificial neural networks and machine learning – ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings, part I

Artificial neural networks and machine learning – ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings, part II

Software business : third international conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings

Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings