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

Transport in Plants III : Intracellular Interactions and Transport Processes

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung : Volume 74

Experimental Myopathies and Muscular Dystrophy : Studies in the Formal Pathogenesis of the Myopathy of 2,4-Dichlorophenoxyacetate

Internment in Concentration Camps and Its Consequences

Land Use in Advancing Agriculture

Muscle Receptors

The Early Life History of Fish : The Proceedings of an International Symposium Held at the Dunstaffnage Marine Research Laboratory of the Scottish Marine Biological Association at Oban, Scotland, from

Auditory System : Anatomy Physiology (Ear)

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung

Approximation of Functions of Several Variables and Imbedding Theorems

The Measurement of Verbal Information in Psychology and Education

Valuation Theory

Satellite Beacons Observations from 1964 to 1970

Air Instrument Surgery : Vol. 2: Orthopedics

Central Processing of Visual Information A: Integrative Functions and Comparative Data

Pathophysiology of Muscle Tone

Physiology of Photoreceptor Organs

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

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

Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

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

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

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

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

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

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

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

7th International Conference on Automated Deduction : Proceedings

Trust and Trustworthy Computing : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings

Intelligent Tutoring Systems : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I

Intelligent Tutoring Systems : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2000 : Third International Conference Pittsburgh, PA, USA, October 11-14, 2000 Proceedings

Learning Theory : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Entertainment Computing - ICEC 2008 : 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008, Proceedings

Practice and Theory of Automated Timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

Hybrid Systems: Computation and Control : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings