Електронна книга > Наука > Медицина > клінічні суб'єкти > Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

Alessandro Aldini & Marco Bernardo
Formal Methods for Quantitative Aspects of Programming Languages [PDF ebook]
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Підтримка

Обкладинка Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

€57.66

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

Мова Англійська ● Формат PDF ● ISBN 9783642136788 ● Редактор Alessandro Aldini & Marco Bernardo ● Видавець Springer Berlin Heidelberg ● Опубліковано 2010 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6321335 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

45 036 Електронні книги в цій категорі

Обкладинка David E. (Ochsner Clinic Foundation, New Orleans, USA) Beck & Brian R. (Ochsner Medical Center, Dept of Colon: Improving Outcomes in Colon & Rectal Surgery

David E. (Ochsner Clinic Foundation, New Orleans, USA) Beck & Brian R. (Ochsner Medical Center, Dept of Colon: Improving Outcomes in Colon & Rectal Surgery

Quality measures and outcomes are receiving greater attention by the lay and medical communities. The occurrence or mismanagement of complications often results in poor outcomes, increased cost, and …

Обкладинка David Olive: Endometriosis in Clinical Practice

David Olive: Endometriosis in Clinical Practice

Endometriosis is on a worldwide increase and carries with it serious implications for women”s reproductive health. Endometriosis in Clinical Practice brings together international experts to demonst …

Обкладинка 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 …

Обкладинка Sonia Chadha & Sayali Mukherjee: Rediscovering Cancer: From Mechanism to Therapy

Sonia Chadha & Sayali Mukherjee: Rediscovering Cancer: From Mechanism to Therapy

This volume presents a snapshot of some of the most important ongoing research in cancer. With cancer as the second leading cause of death worldwide, extensive research is going on globally to deciph …

Обкладинка Michael Bennet & Nigel Sykes: Clinical Pain Management : Cancer Pain

Michael Bennet & Nigel Sykes: Clinical Pain Management : Cancer Pain

Now divided into four parts, the second edition of Cancer Pain delivers broad coverage of the issues that arise in the management of malignancy-related pain, from basic science, through end of life c …

Обкладинка June Andrews: You Need To Know About Dementia

June Andrews: You Need To Know About Dementia

Across the world, 44.4 million people suffer with dementia. Hundreds of millions of people are affected by the dementia of parents, partners, siblings or friends. And as much of the world struggles w …

Обкладинка Ph.D., Ross I. (Dana-Farber Cancer Institute; Brigham and Women’s Hospital; Harvard Medical School, Boston, Massachusetts, USA) Berbeco: Beam''s Eye View Imaging in Radiation Oncology

Ph.D., Ross I. (Dana-Farber Cancer Institute; Brigham and Women’s Hospital; Harvard Medical School, Boston, Massachusetts, USA) Berbeco: Beam”s Eye View Imaging in Radiation Oncology

This first dedicated overview for beam’s eye view (BEV) covers instrumentation, methods, and clinical use of this exciting technology, which enables real-time anatomical imaging. It highlights how th …

Обкладинка 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 …

Обкладинка Peter Thomas & Judith T Zelicoff: Immunotoxicology Of Environmental And Occupational Metals

Peter Thomas & Judith T Zelicoff: Immunotoxicology Of Environmental And Occupational Metals

Provides an overview of the effects of environmentally and occupationally important metals on the immune system and host defence. The fist ten chapters in the text focus on particular metals or group …

Обкладинка Timothy C. Allen & Mary Beth Beasley: Diagnostic Pulmonary Pathology

Timothy C. Allen & Mary Beth Beasley: Diagnostic Pulmonary Pathology

Maintaining the first edition”s unique parallel to the strategy used by pathologists and pulmonologists to arrive at a patient”s diagnosis in daily practice, Diagnostic Pulmonary Pathology starts w …

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