Matt Kaufmann & Lawrence C. Paulson 
Interactive Theorem Proving [PDF ebook] 
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

This book focuses on the initial biochemical and biophysical aspects of taste and olfaction. It is intended for a wide audience, both those already familiar with the chemical senses and those biochem …

Stone”s Plastic Surgery Facts 4e provides a complete revision tool for the FRCS exit examination in plastic surgery. Written in the form of notes and lists, the full range of plastic surgery topics …

This new edition of Neurosurgery: The Essential Guide to the Oral and Clinical Neurosurgical Exam provides a concise and practical guidebook of the core knowledge and principles for the International …

Given the strong current attention of orthopaedic, biomechanical, and biomedical engineering research on translational capabilities for the diagnosis, prevention, and treatment of clinical disease st …

Across the world, 44.4 million people suffer with dementia. Hundreds of millions of people are affected by the dementia of parents, partners, siblings or friends. And as much of the world struggles w …

Practical Laryngology is an invaluable guide to laryngology. It covers all the relevant areas in the field, from basic science to disorders and diseases to in-clinic procedures and the future of lary …

Myasthenia Gravis is a neuromuscular disease, caused by an auto-immune process interfering with the acetylcholine receptors at the postsynaptic membrane of the muscle. This book provides guidance on …

Public Policy Lessons from the AIDS Response in Africa examines how the interplay between national state dynamics in Africa and the global political arena has shaped the global AIDS response, and in …

This book explores the important role of the interferons in infections due to nonviral intracellular pathogens. It deals with the induction of interferons by a variety of intracellular microorganisms …