Catalog > Naturwissenschaft > Medizin > klinische Fächer > 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

Support

Cover von Matt Kaufmann & Lawrence C. Paulson: Interactive Theorem Proving (PDF)

€115.45

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● ISBN 9783642140525 ● Herausgeber Matt Kaufmann & Lawrence C. Paulson ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2010 ● herunterladbar 3 mal ● Währung EUR ● ID 6321383 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Matt Kaufmann Lawrence C. Paulson

46.427 Ebooks in dieser Kategorie

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von Naoshi Kamada: Experimental Liver Transplantation

Naoshi Kamada: Experimental Liver Transplantation

First Published in 1988, Experimental Liver Transplantation is a helpful guide through the process of Liver Transplantation and how the surgical techniques have evolved over the years. Filled with re …

Cover von ManoJ. Thubrikar: The Aortic Valve

ManoJ. Thubrikar: The Aortic Valve

This book provides information on the aortic valve. Written in a comprehensive style, it emphasizes the principles behind the development of artificial valves. It covers the principles of valve geome …

Cover von 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 …

nächste Seite >>>