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 Biology774333UNISA00975cam0 22002773 450 SOB02245520231127100533.0881324660920031126d2003 |||||ita|0103 baitaIT<<La >>consulenza tecnica extraperitale delle parti privateFilippo FocardiPadovaCEDAM2003VIII, 274 p.24 cm.Problemi attuali della giustizia penale14001LAEC000154102001 *Problemi attuali della giustizia penale14Focardi, FilippoAF00013734070438235ITUNISOB20231127RICAUNISOBUNISOB340117921SOB022455M 102 Monografia moderna SBNM340004463SI117921ACQUISTOrovitoUNISOBUNISOB20231127100522.020231127100533.0rovitoConsulenza tecnica extraperitale delle parti private68774UNISOB