Catalog > Science > Médecine > Sujets cliniques > 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

Couverture du Matt Kaufmann & Lawrence C. Paulson: Interactive Theorem Proving (PDF)

€115.45

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783642140525 ● Éditeur Matt Kaufmann & Lawrence C. Paulson ● Maison d’édition Springer Berlin Heidelberg ● Publié 2010 ● Téléchargeable 3 fois ● Devise EUR ● ID 6321383 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Matt Kaufmann Lawrence C. Paulson

46 427 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Page suivante >>>