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

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 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

Measuring Roots : An Updated Approach

Strongly Correlated Systems : Theoretical Methods

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

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

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

Financial Derivatives Modeling

HCI International 2011 Posters' Extended Abstracts : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II

Environmental Modeling : Using MATLAB

Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Business Information Systems : 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings

Networked Digital Technologies : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings

Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

International Neurolaw : A Comparative Analysis

Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

Pediatric Bone Marrow

Practice and Theory of Automated Timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

Practice and Theory of Automated Timetabling IV : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers

Practice and Theory of Automated Timetabling VI : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers

Information Computing and Applications : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013. Revised Selected Papers, Part II

Information Computing and Applications : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013. Revised Selected Papers, Part I

Fundamental Approaches to Software Engineering : Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany,

E-Business and Telecommunication Networks : Third International Conference, ICETE 2006, Setubal, Portugal, August 7-10, 2006, Selected Papers

Pairing-Based Cryptography -- Pairing 2012 : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

Multidisciplinary Scheduling: Theory and Applications : 1st International Conference, MISTA '03 Nottingham, UK, 13-15 August 2003. Selected Papers

Data Management Technologies and Applications : Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers

Kant's Theory of Knowledge : Selected Papers from the Third International Kant Congress

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Selected Areas in Cryptography : 19th International Conference, SAC 2012, Windsor, Canada, August 15-16, 2012, Revised Selected Papers

Hybrid Learning : Third International Conference, ICHL 2010, Beijing, China, August 16-18, 2010, Proceedings

Medical Imaging and Informatics : Second International Conference, MIMI 2007, Beijing, China, August 14-16, 2007, Revised Selected papers

The Pragmatics of International and Intercultural Communication : Selected papers from the International Pragmatics Conference, Antwerp, August 1987. Volume 3

Intelligent Data Engineering and Automated Learning - IDEAL 2002 : Third International Conference, Manchester, UK, August 12-14 Proceedings

Selected Areas in Cryptography -- SAC 2013 : 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers

Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers