Sold Out
Book Categories |
Pt. I Regular Lectures
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions Andrea Degasperi Degasperi, Andrea Stephen Gilmore Gilmore, Stephen 1
Pathway Logic Carolyn Talcott Talcott, Carolyn 21
Formal Cell Biology in Biocham Francois Fages Fages, Francois Sylvain Soliman Soliman, Sylvain 54
Hierarchical Modeling for Computational Biology Carsten Maus Maus, Carsten Mathias John John, Mathias Mathias Rohl Rohl, Mathias Adelinde M. Uhrmacher Uhrmacher, Adelinde M. 81
Simulation Methods in Systems Biology Daniel T. Gillespie Gillespie, Daniel T. 125
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies Gheorghe Paun Paun, Gheorghe Francisco Jose Romero-Campero Romero-Campero, Francisco Jose 168
Petri Nets for Systems and Synthetic Biology Monika Heiner Heiner, Monika David Gilbert Gilbert, David Robin Donaldson Donaldson, Robin 215
Process Algebras in Systems Biology Federica Ciocchetta Ciocchetta, Federica Jane Hillston Hillston, Jane 265
The BlenX Language: A Tutorial Lorenzo Dematte Dematte, Lorenzo Corrado Priami Priami, Corrado Alessandro Romanel Romanel, Alessandro 313
Pt. II BISCA Talks
Cells in Silico: A Holistic Approach Davide Chiarugi Chiarugi, Davide Pierpaolo Degano Degano, Pierpaolo Jan Bert Van Klinken Van Klinken, Jan Bert Roberto Marangoni Marangoni, Roberto 366
The Calculus of Looping Sequences Roberto Barbuti Barbuti, Roberto Giulio Caravagna Caravagna, Giulio Andrea Maggiolo-Schettini Maggiolo-Schettini, Andrea Paolo Milazzo Milazzo, Paolo Giovanni Pardini Pardini, Giovanni 387
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology Luca Bortolussi Bortolussi, LucaAlberto Policriti Policriti, Alberto 424
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi Cristian Versari Versari, Cristian Roberto Gorrieri Gorrieri, Roberto 449
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form Gianluigi Zavattaro Zavattaro, Gianluigi 507
Author Index 525
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFormal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S
X
This Item is in Your InventoryFormal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S
X
You must be logged in to review the productsX
X
X
Add Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S, This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Ital, Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S to the inventory that you are selling on WonderClubX
X
Add Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S, This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Ital, Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S to your collection on WonderClub |