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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bernardo, Marco (Επιμελητής έκδοσης), Degano, Pierpaolo (Επιμελητής έκδοσης), Zavattaro, Gianluigi (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.