LEADER 04547nam  22007815  450 
001 996465305103316
005 20200704085137.0
010   $a1-280-38562-6
010   $a9786613563545
010   $a3-642-11712-0
024 7 $a10.1007/978-3-642-11712-1
035   $a(CKB)2560000000001001
035   $a(SSID)ssj0000355642
035   $a(PQKBManifestationID)11266154
035   $a(PQKBTitleCode)TC0000355642
035   $a(PQKBWorkID)10340723
035   $a(PQKB)10023550
035   $a(DE-He213)978-3-642-11712-1
035   $a(MiAaPQ)EBC3065049
035   $a(PPN)149073666
035   $a(EXLCZ)992560000000001001
100   $a20100715d2010      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTransactions on Computational Systems Biology XII$b[electronic resource] $eSpecial Issue on Modeling Methodologies
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (IX, 263 p. 73 illus.) 
225 1 $aTransactions on Computational Systems Biology,$x1861-2075 ;$v5945
300   $aIncludes index.
311   $a3-642-11711-2 
327   $aBiomodel Engineering ? From Structure to Behavior -- The Attributed Pi-Calculus with Priorities -- A Language for Biochemical Systems: Design and Formal Specification -- Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks -- Modelling Self-assembly in BlenX -- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon -- Modelling and Analysis of the NF-?B Pathway in Bio-PEPA.
330   $aThe LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This special issue of the journal focuses on the topic of modeling methodologies. It starts with a position paper by the guest editors, entitled Biomodel Engineering - from Structure to Behavior, which is followed by the technical contributions covering a broad range of modeling methodologies. Two papers focus on new modeling languages, and these are followed by an article presenting a case study demonstrating the value of the qualitative network approach. With the remaining three contributions, the special issue leaves the area of qualitative modeling, to move toward quantitative programming with the BlenX language and the application of more theoretical process calculi.
410  0$aTransactions on Computational Systems Biology,$x1861-2075 ;$v5945
606   $aBioinformatics
606   $aComputer simulation
606   $aComputers
606   $aArtificial intelligence
606   $aAlgorithms
606   $aMathematical statistics
606   $aComputational Biology/Bioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/I23050
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036
615  0$aBioinformatics.
615  0$aComputer simulation.
615  0$aComputers.
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615  0$aMathematical statistics.
615 14$aComputational Biology/Bioinformatics.
615 24$aSimulation and Modeling.
615 24$aComputation by Abstract Devices.
615 24$aArtificial Intelligence.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aProbability and Statistics in Computer Science.
676   $a570.285
686   $aSS 4800$2rvk
701   $aPriami$b Corrado$01236801
906   $aBOOK
912   $a996465305103316
996   $aTransactions on Computational Systems Biology XII$92871547
997   $aUNISA