Sách điện tử > Khoa học > Y tế > Đối tượng lâm sàng > 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

Ủng hộ

Bìa của Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

€57.66

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783642136788 ● Biên tập viên Alessandro Aldini & Marco Bernardo ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2010 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6321335 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

45.222 Ebooks trong thể loại này

Bìa của Bin Cao & James D Chalmers: COVID-19

Bin Cao & James D Chalmers: COVID-19

This Monograph brings together a truly international group of experts to consider areas such as: long-term sequelae in airway disease, interstitial lung disease, and in the immunocompromised; therape …

Bìa của 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 …

Bìa của Raymond W. Clarke & John C. Watkinson: Scott-Brown''s Otorhinolaryngology and Head and Neck Surgery, Eighth Edition

Raymond W. Clarke & John C. Watkinson: Scott-Brown”s Otorhinolaryngology and Head and Neck Surgery, Eighth Edition

Scott-Brown”s Otorhinolaryngology is used the world over as the definitive reference for trainee ENT surgeons, audiologists and trainee head and neck surgeons, as well as specialists who need detail …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của Nicolette (Loughborough University, UK) Bishop & Michael (Loughborough University, UK) Gleeson: Exercise Immunology

Nicolette (Loughborough University, UK) Bishop & Michael (Loughborough University, UK) Gleeson: Exercise Immunology

Exercise immunology is an important, emerging sub-discipline within exercise physiology, concerned with the relationship between exercise, immune function and infection risk. This book offers a compr …

Bìa của James A. Barrett & Peter B. Dews: Advances in Behavioral Pharmacology

James A. Barrett & Peter B. Dews: Advances in Behavioral Pharmacology

This volume continues to document and summarize developments, trends, and emergent interdisciplinary research in behavioral psychopharmacology. For researchers and graduate students in psychopharmaco …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>