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

Knowledge Representation for Health-Care. Data, Processes and Guidelines : AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected Papers

Knowledge Representation for Health Care : AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers

Knowledge Representation for Health-Care : ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers

Process Support and Knowledge Representation in Health Care : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning : Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Knowledge Management for Health Care Procedures : From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers

Knowledge Representation for Health Care : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Process Support and Knowledge Representation in Health Care : BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

Artificial Intelligence in Medicine : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011, Proceedings

Knowledge Management for Health Care Procedures : ECAI 2008 Workshop K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers

Semantics in Data and Knowledge Bases : 5th International Workshop SDKB 2011, Zurich, Switzerland, July 3, 2011, Revised Selected Papers

Knowledge Technology : Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

Combinatorial Algorithms : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, Revised Selected Papers

Research in Cryptology : 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers

Multi-Agent-Based Simulation XII : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Theory and Applications of Formal Argumentation : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

Agents and Data Mining Interaction : 7th International Workshop, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Adaptive and Learning Agents : AAMAS 2011 International Workshop, ALA 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers