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

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Combinatorial Optimization and Applications : Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings

Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings

CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

Information Theoretic Security : Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Selected Areas in Cryptography -- SAC 2014 : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers

Computational Science and Its Applications - ICCSA 2003 : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II