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

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

语言英语 ● 格式 PDF ● ISBN 9783642136788 ● 编辑 Alessandro Aldini & Marco Bernardo ● 出版者 Springer Berlin Heidelberg ● 发布时间 2010 ● 下载 3 时 ● 货币 EUR ● ID 6321335 ● 复制保护 Adobe DRM

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

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

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

46,312 此类电子书

的封面 Christine E. (Vanderbilt University, Nashville, Tennessee, USA) Collins & Jon H. (Vanderbilt University, Nashville, Tennessee, USA) Kaas: The Primate Visual System

Christine E. (Vanderbilt University, Nashville, Tennessee, USA) Collins & Jon H. (Vanderbilt University, Nashville, Tennessee, USA) Kaas: The Primate Visual System

The last 20 years of research have been marked by exceptional progress in understanding the organization and functions of the primate visual system. This understanding has been based on the wide appl …

的封面 Rainer Gruessner: Where Have All the People Gone?

Rainer Gruessner: Where Have All the People Gone?

This poignant book delves into the profound impact of the COVID-19 pandemic on New York City, aptly known as the ‘Capital of the World.’ Divided into three compelling parts, it unravels the harrowing …

的封面 Ruth (Texas A&M Health Science Center, San Antonio, TX, USA) Bush & Lawrence A. (Texas A&M Health Science Center College of Medicine; Scott and White Memorial Hospital, Temple, TX, USA) Lavery: High Risk Diabetic Foot

Ruth (Texas A&M Health Science Center, San Antonio, TX, USA) Bush & Lawrence A. (Texas A&M Health Science Center College of Medicine; Scott and White Memorial Hospital, Temple, TX, USA) Lavery: High Risk Diabetic Foot

Emphasizing a team approach that includes the practicing podiatrist, endocrinologist, diabetologist, vascular surgeon, orthopedist, and infectious disease specialist, The High Risk Diabetic Foot prov …

的封面 PeterJ. Barnes: Neuropeptides in Respiratory Medicine

PeterJ. Barnes: Neuropeptides in Respiratory Medicine

”This outstanding resource offers comprehensive presentations of the latest basic knowledge and the most advanced research on neuropeptides of the respiratory tract covering the structure, receptors …

的封面 Naoshi Kamada: Experimental Liver Transplantation

Naoshi Kamada: Experimental Liver Transplantation

First Published in 1988, Experimental Liver Transplantation is a helpful guide through the process of Liver Transplantation and how the surgical techniques have evolved over the years. Filled with re …

的封面 Fiona Foxall: Haemodynamic Monitoring and Manipulation

Fiona Foxall: Haemodynamic Monitoring and Manipulation

的封面 D. B. Gray & N. Krasnegor: Advances in Behavioral Pharmacology

D. B. Gray & N. Krasnegor: Advances in Behavioral Pharmacology

First published in 1986. This monograph is based on a conference sponsored by the Human Learning and Behavior Branch of the National Institute of Child Health and Human Development, NIH. The meeting …

的封面 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 …

的封面 Thomas N. Corns: Understanding Radiation Biology

Thomas N. Corns: Understanding Radiation Biology

This book provides a qualitative and quantitative exploration of the action of radiation on living matter which leads to a complete and coherent interpretation of radiation biology. It takes readers …

的封面 H. C. Stevenson: Adoptive Cellular Immunotherapy of Cancer

H. C. Stevenson: Adoptive Cellular Immunotherapy of Cancer

This volume presents the most complicated and powerful cancer biotherapies developed. It provides an overview of human immune system function and the mechanisms by which adoptive cellular immunothera …