|
|
|
|
| LEADER |
03795nam a22006255i 4500 |
| 001 |
978-3-642-11712-1 |
| 003 |
DE-He213 |
| 005 |
20170125030605.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100715s2010 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783642117121
|9 978-3-642-11712-1
|
| 024 |
7 |
|
|a 10.1007/978-3-642-11712-1
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QH324.2-324.25
|
| 072 |
|
7 |
|a PSA
|2 bicssc
|
| 072 |
|
7 |
|a UB
|2 bicssc
|
| 072 |
|
7 |
|a COM014000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 570.285
|2 23
|
| 245 |
1 |
0 |
|a Transactions on Computational Systems Biology XII
|h [electronic resource] :
|b Special Issue on Modeling Methodologies /
|c edited by Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2010.
|
| 300 |
|
|
|a IX, 263 p. 73 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 5945
|
| 505 |
0 |
|
|a Biomodel 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.
|
| 520 |
|
|
|a The 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Mathematical statistics.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Computer simulation.
|
| 650 |
|
0 |
|a Bioinformatics.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Computational Biology/Bioinformatics.
|
| 650 |
2 |
4 |
|a Simulation and Modeling.
|
| 650 |
2 |
4 |
|a Computation by Abstract Devices.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Probability and Statistics in Computer Science.
|
| 700 |
1 |
|
|a Priami, Corrado.
|e editor.
|
| 700 |
1 |
|
|a Breitling, Rainer.
|e editor.
|
| 700 |
1 |
|
|a Gilbert, David.
|e editor.
|
| 700 |
1 |
|
|a Heiner, Monika.
|e editor.
|
| 700 |
1 |
|
|a Uhrmacher, Adelinde M.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642117114
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 5945
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-11712-1
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
