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

Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings

Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings

Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers

Enabling Responsible Living

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings

Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings

Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers

Smart Power Grids 2011

Measuring Roots : An Updated Approach

Strongly Correlated Systems : Theoretical Methods

Cusped Shell-Like Structures

Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers

Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings

Modeling Fragile X Syndrome

Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings

Financial Derivatives Modeling

Human-Centred Software Engineering : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

Social Robotics : 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012, Proceedings

Discovery Science : 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012, Proceedings

Algorithmic Learning Theory : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012, Proceedings

Human-Centered Software Engineering : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Scalable Uncertainty Management : 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010, Proceedings

Model and Data Engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings

Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th Internation

Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Progress in Cultural Heritage Preservation : 4th International Conference, EuroMed 2012, Lemessos, Cyprus, October 29 -- November 3, 2012, Proceedings

Information and Communications Security : 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Software Language Engineering : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers

Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Software Quality : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012, Proceedings

Distributed Computing : 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings

Multicore Software Engineering, Performance and Tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings

Intelligent Data Engineering and Automated Learning -- IDEAL 2012 : 13th International Conference, Natal, Brazil, August 29-31, 2012, Proceedings

Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings