MPG.eBooks - Table of Contents: Formal Methods for Computational Systems Biology

Read Now

Bibliographic Details
Other Authors:	Bernardo, Marco (Editor), Degano, Pierpaolo (Editor), Zavattaro, Gianluigi (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:	1st ed. 2008
Series:	Programming and Software Engineering
Subjects:	Computer Communication Networks Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Computer Networks Special Purpose And Application-based Systems Computers, Special Purpose
Online Access:	https://doi.org/10.1007/978-3-540-68894-5?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Table of Contents:

Regular Lectures
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions
Pathway Logic
Formal Cell Biology in Biocham
Hierarchical Modeling for Computational Biology
Simulation Methods in Systems Biology
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies
Petri Nets for Systems and Synthetic Biology
Process Algebras in Systems Biology
The BlenX Language: A Tutorial
BISCA Talks
Cells in Silico: A Holistic Approach
The Calculus of Looping Sequences
Hybrid Systems and Biology
?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form