Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Simulated Evolution and Learning: 9th International Conference, Seal 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings Simulated Evolution and Learning: 9th International Conference, Seal 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings
Ambient Assisted Living and Home Care: 4th International Workshop, Iwaal 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings Ambient Assisted Living and Home Care: 4th International Workshop, Iwaal 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings
Current Trends in Web Engineering: Icwe 2012 International Workshops Mdwe, Composableweb, Were, Qwe, and Doctoral Consortium, Berlin, Germany, July 23 Current Trends in Web Engineering: Icwe 2012 International Workshops Mdwe, Composableweb, Were, Qwe, and Doctoral Consortium, Berlin, Germany, July 23
Computer Safety, Reliability, and Security: Safecomp 2012 Workshops: Sassur, Ascoms, Desec4lcci, Ercim/Ewics, Iwde, Magdeburg, Germany, September 25-2 Computer Safety, Reliability, and Security: Safecomp 2012 Workshops: Sassur, Ascoms, Desec4lcci, Ercim/Ewics, Iwde, Magdeburg, Germany, September 25-2
Fast Software Encryption: 19th International Workshop, Fse 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers Fast Software Encryption: 19th International Workshop, Fse 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers