by
Bernardo, Marco. editor.
Format:
Electronic Resources
Excerpt:
-- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology
by
Fisher, Jasmin. editor.
Format:
Electronic Resources
Excerpt:
-- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions -- Computational Probability for
View Other Search Results
by
Priami, Corrado. editor.
Format:
Electronic Resources
Excerpt:
-- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger
by
Clavel, Manuel. author.
Format:
Electronic Resources
Excerpt:
models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a ?exible
by
Heiner, Monika. editor.
Format:
Electronic Resources
Excerpt:
-- Multiscale Modelling of Neuronal Signalling -- Systems Biology of Halophilic Archaea -- A Partial Granger
by
Konagaya, Akihiko. editor.
Format:
Electronic Resources
Excerpt:
System for Distributed Bioinformatics Environment on Grids -- Distributed Cell Biology Simulations with
by
Danos, Vincent. editor.
Format:
Electronic Resources
Excerpt:
Abstract Machine BIOCHAM -- Towards Reusing Model Components in Systems Biology -- VICE: A VIrtual CEll
Limit Search Results
Narrowed by: