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

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings

Model Driven Architecture - Foundations and Applications : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings

Model Driven Architecture - Foundations and Applications : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Model-Driven Architecture - Foundations and Applications : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Modelling Foundations and Applications : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings

Model Driven Architecture : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linkoping, Sweden, June 10-11, 2004, Revised

Biotechnology: Bridging Research and Applications : Proceedings of the U.S.-Israel Research Conference on Advances in Applied Biotechnology Biotechnology June 24-30, 1990; Haifa, Israel

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

The Semantic Web: Research and Applications : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings

Business Process Management : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings

Advanced Information Systems Engineering : 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings

Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Combinatorial Optimization and Applications : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009, Proceedings

Typed Lambda Calculi and Applications : 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Advanced Data Mining and Applications : Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007 Proceedings