Електронна книга > Наука > Медицина > клінічні суб'єкти > 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

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783642140525 ● Редактор Matt Kaufmann & Lawrence C. Paulson ● Видавець Springer Berlin Heidelberg ● Опубліковано 2010 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 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 …

Наступна сторінка >>>