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

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Nethe

Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings

Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

Software Process Dynamics and Agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings

Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

High-Performance Computing and Networking : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8-10, 2000 Proceedings

Pervasive Computing : 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010, Proceedings

Artificial Intelligence: Methodology, Systems, and Applications : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings

Proceedings of the 2012 International Conference on Information Technology and Software Engineering : Software Engineering & Digital Media Technology

Proceedings of the 2012 International Conference on Information Technology and Software Engineering : Information Technology

Software Technology And Engineering - Proceedings Of The International Conference On Icste 2009

Software Reuse: Advances in Software Reusability : 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings

Integer Programming and Combinatorial Optimization : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings

Functional Imaging and Modeling of the Heart : 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011, Proceedings

Graph Drawing : 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings

Social Robotics : 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings