04292nam 22007575 450 99646561640331620200705185759.03-540-68894-310.1007/978-3-540-68894-5(CKB)1000000000440610(SSID)ssj0000317714(PQKBManifestationID)11245535(PQKBTitleCode)TC0000317714(PQKBWorkID)10294610(PQKB)10486603(DE-He213)978-3-540-68894-5(MiAaPQ)EBC3068574(PPN)127048294(EXLCZ)99100000000044061020100301d2008 u| 0engurnn#008mamaatxtccrFormal Methods for Computational Systems Biology[electronic resource] 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 /edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (X, 527 p.)Programming and Software Engineering ;5016Lectures.3-540-68892-7 Includes bibliographical references and index.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.Programming and Software Engineering ;5016Software engineeringProgramming languages (Electronic computers)Computer logicSpecial purpose computersComputer communication systemsSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSpecial Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software engineering.Programming languages (Electronic computers).Computer logic.Special purpose computers.Computer communication systems.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Special Purpose and Application-Based Systems.Computer Communication Networks.005.1Bernardo Marcoedthttp://id.loc.gov/vocabulary/relators/edtDegano Pierpaoloedthttp://id.loc.gov/vocabulary/relators/edtZavattaro Gianluigiedthttp://id.loc.gov/vocabulary/relators/edtInternational School on Formal Methods for the Design of Computer, Communication, and Software SystemsBOOK996465616403316Formal Methods for Computational Systems Biology774333UNISA