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

Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy

Molecular Quantum Dynamics : From Theory to Applications

Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013

Rock and Pop Venues : Acoustic and Architectural Design

Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity

Neurotrophic Factors

Art, Cultural Heritage and the Market : Ethical and Legal Issues

Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20

Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions

Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings

Phospholipases in Plant Signaling

Hemorrhoids

Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers

Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Biological and Medical Data Analysis : 5th International Symposium, ISBMDA 2004, Barcelona, Spain, November 18-19, 2004, Proceedings

FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Surface Chemistry : Proceedings of Second Scandinavian Symposium on Surface Activity, Stockholm, November 18-19, 1964

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Ambient Intelligence : Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings

FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings