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 /

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 syst...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Degano, Pierpaolo, Zavattaro, Gianluigi.
Formato: Livro
Idioma:Inglês
Publicado em: Springer, c200
Colecção:Lecture notes in computer science ;
Lecture notes in computer science.
Assuntos:
Métodos formais (Computação) Congressos.
Circuitos integrados Verificação Congressos.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000908143&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados