Data integration in the life sciences : 8th international conference, DILS 2012, College Park, MD, USA, June 28-29, 2012 : proceedings

NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings

Ubiquitous computing and ambient intelligence : 6th International Conference, UCAMI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, proceedings

Modeling and simulation in engineering, economics, and management : international conference, MS 2012, New Rochelle, NY, USA, May 30-June 1, 2012 : proceedings

Artificial intelligence and soft computing : 11th international conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings, part I