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 Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

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

Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

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

7th International Conference on Automated Deduction : Proceedings

Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Flexible Query Answering Systems : 5th International Conference, FQAS 2002. Copenhagen, Denmark, October 27-29, 2002, Proceedings

Computer Vision Systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

Computational Logistics : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings

International Conference on Theoretical Physics : TH-2002, Paris, July 22-27, 2002

Biometric Authentication : International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings