Formal Methods for Computational Systems Biology

>> Google Books

Formal Methods for Computational Systems Biology / Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008

著者名:

ISBN:

9783540688921 [3540688927]
9783540688945 [3540688943]

書誌ID:

OB00354210

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Regular Lectures / Part I：

Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore

Pathway Logic / Carolyn Talcott

Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman

Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher

Simulation Methods in Systems Biology / Daniel T. Gillespie

Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero

Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson

Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston

The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel

BISCA Talks / Part II：

Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni

The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini

Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti

[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro

Author Index

Regular Lectures / Part I：

Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore

Pathway Logic / Carolyn Talcott

Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman

Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher

Simulation Methods in Systems Biology / Daniel T. Gillespie

続きを見る

ブックレビュー

類似資料:

1 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Computational Methods in Systems Biology Degano, Pierpaolo, Gorrieri, Roberto, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Formal Methods for Web Services Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Formal Methods for Hardware Verification Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Formal Methods for Web Services Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Formal Techniques for Computer Systems and Business Processes EPEW, Bravetti, Mario, Kanade, Takeo, Kloul, Le?la, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin / Heidelberg
4 電子ブック Computational Methods in Systems Biology Degano, Pierpaolo, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Formal Techniques for Computer Systems and Business Processes EPEW, Bravetti, Mario, Kanade, Takeo, Kloul, Leïla, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
5 電子ブック Formal Methods for Eternal Networked Software Systems Bernardo, Marco, Issarny, Val?rie, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, N??ez, Manuel, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Eternal Networked Software Systems Bernardo, Marco, Issarny, Valérie, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, Núñez, Manuel, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12