LEADER 03530nam  22007215  450 
001 9910767532903321
005 20251226195928.0
010   $a3-540-48839-1
024 7 $a10.1007/11905455
035   $a(CKB)1000000000284037
035   $a(SSID)ssj0000320468
035   $a(PQKBManifestationID)11231110
035   $a(PQKBTitleCode)TC0000320468
035   $a(PQKBWorkID)10249172
035   $a(PQKB)11026295
035   $a(DE-He213)978-3-540-48839-2
035   $a(MiAaPQ)EBC3068672
035   $a(PPN)123139570
035   $a(BIP)34164476
035   $a(BIP)13887581
035   $a(EXLCZ)991000000000284037
100   $a20110113d2006      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTransactions on Computational Systems Biology VII /$fedited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (VII, 187 p.)
225 1 $aTransactions on Computational Systems Biology ;$v4230
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-48837-5 
320   $aIncludes bibliographical references and index.
327   $aModelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA -- Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch -- From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits -- Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation -- Graph Theory for Rule-Based Modeling of Biochemical Networks -- Adapting Biochemical Kripke Structures for Distributed Model Checking -- A Graphical Representation for Biological Processes in the Stochastic pi-Calculus -- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems -- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology -- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.
330   $aThis volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers from two workshops: BioConcur 2004 held in London, UK in August 2004 and BioConcur 2005 held in San Francisco, CA, USA in August 2005. The 8 papers chosen for this special issue are devoted to various aspects of computational methods, algorithms, and techniques in bioinformatics.
410  0$aTransactions on Computational Systems Biology ;$v4230
606   $aComputer science
606   $aBioinformatics
606   $aMachine theory
606   $aAlgorithms
606   $aTheory of Computation
606   $aBioinformatics
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
615  0$aComputer science.
615  0$aBioinformatics.
615  0$aMachine theory.
615  0$aAlgorithms.
615 14$aTheory of Computation.
615 24$aBioinformatics.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
676   $a004.0151
701   $aPriami$b Corrado$01236801
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910767532903321
996   $aTransactions on computational systems biology VII$94202864
997   $aUNINA