Catalog > Ciencia > Medicina > Sujetos clínicos > Matt Kaufmann & Lawrence C. Paulson: Interactive Theorem Proving (PDF)

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

Soporte

Portada de Matt Kaufmann & Lawrence C. Paulson: Interactive Theorem Proving (PDF)

€115.45

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783642140525 ● Editor Matt Kaufmann & Lawrence C. Paulson ● Editorial Springer Berlin Heidelberg ● Publicado 2010 ● Descargable 3 veces ● Divisa EUR ● ID 6321383 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Matt Kaufmann Lawrence C. Paulson

46.427 Ebooks en esta categoría

Portada de Christine E. (Vanderbilt University, Nashville, Tennessee, USA) Collins & Jon H. (Vanderbilt University, Nashville, Tennessee, USA) Kaas: The Primate Visual System

Christine E. (Vanderbilt University, Nashville, Tennessee, USA) Collins & Jon H. (Vanderbilt University, Nashville, Tennessee, USA) Kaas: The Primate Visual System

The last 20 years of research have been marked by exceptional progress in understanding the organization and functions of the primate visual system. This understanding has been based on the wide appl …

Portada de Ruth (Texas A&M Health Science Center, San Antonio, TX, USA) Bush & Lawrence A. (Texas A&M Health Science Center College of Medicine; Scott and White Memorial Hospital, Temple, TX, USA) Lavery: High Risk Diabetic Foot

Ruth (Texas A&M Health Science Center, San Antonio, TX, USA) Bush & Lawrence A. (Texas A&M Health Science Center College of Medicine; Scott and White Memorial Hospital, Temple, TX, USA) Lavery: High Risk Diabetic Foot

Emphasizing a team approach that includes the practicing podiatrist, endocrinologist, diabetologist, vascular surgeon, orthopedist, and infectious disease specialist, The High Risk Diabetic Foot prov …

Portada de Russel J. Reiter & Hing-Sing Yu: Melatonin

Russel J. Reiter & Hing-Sing Yu: Melatonin

Melatonin: Biosynthesis, Physiological Effects, and Clinical Applications provides a thorough review of recent advances in major areas of melatonin research. The book is arranged in a logical sequenc …

Portada de Rainer Gruessner: Where Have All the People Gone?

Rainer Gruessner: Where Have All the People Gone?

This poignant book delves into the profound impact of the COVID-19 pandemic on New York City, aptly known as the ‘Capital of the World.’ Divided into three compelling parts, it unravels the harrowing …

Portada de Elizabeth Charnock & Angela Lee: Nursing & Health Survival Guide: Recognising the Acutely Ill Child: Early Recognition

Elizabeth Charnock & Angela Lee: Nursing & Health Survival Guide: Recognising the Acutely Ill Child: Early Recognition

Early and accurate recognition of an acutely ill child is essential. Ideal for quick reference, this pocket-sized guide puts all the crucial information at your fingertips. The Nursing & Health Survi …

Portada de G. I. Bryne: Interferon and Nonviral Pathogens

G. I. Bryne: Interferon and Nonviral Pathogens

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 …

Portada de Beth A. Winkelstein: Orthopaedic Biomechanics

Beth A. Winkelstein: Orthopaedic Biomechanics

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 …

Portada de Mead Over: Achieving an AIDS Transition

Mead Over: Achieving an AIDS Transition

Five million people in poor countries are receiving AIDS treatment, but international AIDS policy is still in crisis. Donors are giving less than they had been, even though infections continue unabat …

Portada de Hardeep Singh Tuli: Nanotherapeutics in Cancer

Hardeep Singh Tuli: Nanotherapeutics in Cancer

The applications of nanoparticulate drug delivery have gained significant attention in cancer diagnosis and treatment. Owing to their unique features and design, nanomedicines have made remarkable pr …

Portada de Robert Boyd: Gateway to 10, 000 Illnesses

Robert Boyd: Gateway to 10, 000 Illnesses

siguiente página >>>