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

Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

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

Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Information Security and Privacy : 4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings

Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Database and Expert Systems Applications : 10th International Conference, DEXA'99, Florence, Italy, August 30 - September 3, 1999, Proceedings

Modeling and Using Context : Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings

Multimedia Applications, Services and Techniques - ECMAST'99 : 4th European Conference, Madrid, Spain, May 26-28, 1999, Proceedings

Coordination Languages and Models : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Data Warehousing and Knowledge Discovery : First International Conference, DaWaK'99 Florence, Italy, August 30 - September 1, 1999 Proceedings

Information Security and Cryptology - ICISC'99 : Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings

Information and Communication Security : Second International Conference, ICICS'99 Sydney, Australia, November 9-11, 1999 Proceedings