Information Computing and Applications: Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II

Trends in Intelligent Robotics, Automation, and Manufacturing: First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012, Proceedings

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity: International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Modern Probabilistic Methods for Analysis of Telecommunication Networks: Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

Biomedical Engineering Systems and Technologies: 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers

Systems, Software and Services Process Improvement: 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

Computer Networks: 20th International Conference, CN 2013, Lwowek Slaski, Poland, June 17-21, 2013. Proceedings

Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python

Emerging Intelligent Computing Technology and Applications: 9th International Conference, ICIC 2013, Nanning, China, July 25-29, 2013. Proceedings

Engineering Applications of Neural Networks: 14th International Conference, EANN 2013, Halkidiki, Greece, September 2013, Proceedings, Part I