Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Human-Computer Interaction. Design and Development Approaches 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

Human-Computer Interaction. Interaction Techniques and Environments 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

Human-Computer Interaction. Towards Mobile and Intelligent Interaction Environments 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III

Human-Computer Interaction. Users and Applications 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

Computer Networks 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I