Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
Σειρά: | Lecture Notes in Computer Science,
5016 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.