电子书 > 科学 > 体检 > 临床科目 > 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

支持

的封面 Matt Kaufmann & Lawrence C. Paulson: Interactive Theorem Proving (PDF)

€115.45

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783642140525 ● 编辑 Matt Kaufmann & Lawrence C. Paulson ● 出版者 Springer Berlin Heidelberg ● 发布时间 2010 ● 下载 3 时 ● 货币 EUR ● ID 6321383 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Matt Kaufmann Lawrence C. Paulson

46,262 此类电子书

的封面 Julius M. (University of Mississippi Medical Center, Jackson, USA) Cruse & Robert E. (University of Mississippi Medical Center, Jackson, USA) Lewis: Illustrated Dictionary of Immunology

Julius M. (University of Mississippi Medical Center, Jackson, USA) Cruse & Robert E. (University of Mississippi Medical Center, Jackson, USA) Lewis: Illustrated Dictionary of Immunology

From the beginning, immunologists have maintained a unique nomenclature that has often mystified and even baffled their colleagues in other fields, causing them to liken immunology to a black box. Wi …

的封面 Ruijiang Li & Sandy Napel: Radiomics and Radiogenomics

Ruijiang Li & Sandy Napel: Radiomics and Radiogenomics

Radiomics and Radiogenomics: Technical Basis and Clinical Applications provides a first summary of the overlapping fields of radiomics and radiogenomics, showcasing how they are being used to evaluat …

的封面 Severian Dumitriu: Polysaccharides in Medicinal Applications

Severian Dumitriu: Polysaccharides in Medicinal Applications

Integrates the latest advances in polysaccharide chemistry and structure analysis, with the practical applications of polysaccharides in medicine and pharmacy, highlighting the role of glycoconjugate …

的封面 Pramod Achan & Timothy Briggs: Orthopaedic Trauma

Pramod Achan & Timothy Briggs: Orthopaedic Trauma

Highly Commended, BMA Medical Book Awards 2015Orthopaedic Trauma: The Stanmore and Royal London Guide is a definitive and practical guide to musculoskeletal trauma surgery with an emphasis on the tec …

的封面 Franco Cavalli & Harald Stein: Extranodal Lymphomas

Franco Cavalli & Harald Stein: Extranodal Lymphomas

Lymphomas classically manifest themselves in the lymph nodes but can also present in other bodily tissues or systems; the organ where exactly they present may make a very great difference to the stra …

的封面 Lena Costaridou: Medical Image Analysis Methods

Lena Costaridou: Medical Image Analysis Methods

To successfully detect and diagnose disease, it is vital for medical diagnosticians to properly apply the latest medical imaging technologies. It is a worrisome reality that due to either the nature …

的封面 Donald J. Capra & Maurizio Zanetti: The Antibodies

Donald J. Capra & Maurizio Zanetti: The Antibodies

From diagnostic tools to therapy against cancer, infections and autoimmune diseases, antibodies serve many purposes, yet our knowledge of them is still incomplete. The Antibodies: Volume 7 continues …

的封面 Omar (Claflin University, Orangenburg, South Carolina, USA) Bagasra & Donald Gene (Claflin University, Orangeburg, SC, USA) Pace: A Guide to AIDS

Omar (Claflin University, Orangenburg, South Carolina, USA) Bagasra & Donald Gene (Claflin University, Orangeburg, SC, USA) Pace: A Guide to AIDS

The Guide to AIDS is succinct review of HIV/AIDS from a human-interest perspective. Chapters focus on some of the common patterns and prevention of HIV transmission and debunks misconceptions about H …

的封面 Frances Howorth & Michael Howorth: The Sea Survival Manual

Frances Howorth & Michael Howorth: The Sea Survival Manual

The Sea Survival Manual is the definitive book on the subject for anyone aboard a yacht of any size . It is aimed at the yachtsman or seafarer who is likely to proceed to sea out of the sight of land …

的封面 Nasser H. Zawia: Molecular Neurotoxicology

Nasser H. Zawia: Molecular Neurotoxicology

Molecular Neurotoxicology: Environmental Agents and Transcription-Transduction Coupling deals with changes in gene expression following exposure to neurotoxicants, as well as deciphering signal trans …