Catalog > Nauka > Medycyna > Pacjenci kliniczni > 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

Wsparcie

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

€115.45

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783642140525 ● Redaktor Matt Kaufmann & Lawrence C. Paulson ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2010 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6321383 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Matt Kaufmann Lawrence C. Paulson

46 262 Ebooki w tej kategorii

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Następna strona >>>