Dental Pathology : A Practical Introduction

The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth

Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

Advanced Methods for Computational Collective Intelligence

Molecular Imaging : Fundamentals and Applications

Bubble Dynamics and Shock Waves

Inventing Reactions

Advances in Computer Entertainment : 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012, Proceedings

Computational Intelligence and Intelligent Systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

The Variation Theory of Comparative Literature

Biologically Inspired Cognitive Architectures 2012 : Proceedings of the Third Annual Meeting of the BICA Society

Computational Visual Media : First International Conference, CVM 2012, Beijing, China, November 8-10, 2012, Proceedings

Decision and Game Theory for Security : Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012, Proceedings

Common Commercial Policy after Lisbon

Minerals and Lipids Profiles in Cardiovascular Disorders in South Asia : Cu, Mg, Se, Zn and Lipid Serum Profiles for the Example of Patients in Pakistan

Electrochemical Analysis of Proteins and Cells

Management of Alliance Networks : Formation, Functionality, and Post Operational Strategies

Surface Science Techniques

Emerging Research in Artificial Intelligence and Computational Intelligence : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Software Business : First International Conference, ICSOB 2010, Jyvaskyla, Finland, June 21-23, 2010, Proceedings

Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Web Reasoning and Rule Systems : First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Multiple Classifier Systems : First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings

Applications of Databases : First International Conference, ADB-94, Vadstena, Sweden, June 21 - 23, 1994. Proceedings

Case-Based Reasoning Research and Development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings

7th International Conference on Automated Deduction : Proceedings

Information Processing in Medical Imaging : 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings

Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings