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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bernardo, Marco (Editor ), Degano, Pierpaolo (Editor ), Zavattaro, Gianluigi (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5016
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Computers, Special purpose.
Computer networks .
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares