机读格式显示(MARC)
- 000 02253cam a2200361 i 4500
- 008 220622s2023 nju 000 0 eng
- 020 __ |a 9781119716532 |q (hardback)
- 020 __ |z 9781119716563 |q (adobe pdf)
- 020 __ |z 9781119716587 |q (epub)
- 040 __ |a DLC |b eng |e rda |c DLC |d OCLCF
- 050 00 |a QH324.2 |b .S9763 2023
- 082 00 |a 570.285 |2 23/eng/20220713
- 099 __ |a CAL 022023009350
- 245 00 |a Systems biology modelling and analysis : |b formal bioinformatics methods and tools / |c edited by Elisabetta De Maria, Université C?te d'Azur, France.
- 260 __ |a Hoboken, NJ : |b Wiley, |c 2023.
- 300 __ |a xxv, 431 pages : |b illustrations ; |c 24 cm
- 336 __ |a text |b txt |2 rdacontent
- 337 __ |a unmediated |b n |2 rdamedia
- 338 __ |a volume |b nc |2 rdacarrier
- 504 __ |a Includes bibliographical references and index.
- 520 __ |a "Systems biology combines biological, mathematical, computational, and physical sciences in order to analyze, model, and create biological systems. To this end, biological knowledge is often extracted from high-throughput "omics" (genomics, transcriptomics, proteomics, metabonomics, etc.) data that is generated via next-generation molecular technologies. The core of systems biology consists in turning data into networks to which we want to give a dynamic This book overviews state-of-the-art techniques, and introduces related tools and practices, to formalize models and automate reasoning for systems biology. The authors present and compare the main formal methods used in systems biology for modelling biological networks, including discussion of their advantages / drawbacks and main applications. Among the methods covered are Boolean networks, systems biology markup language (SBML), linear logic, differential equations, and automata"-- |c Provided by publisher.
- 650 _0 |a Systems biology |x Methodology.
- 650 _0 |a Bioinformatics.
- 700 1_ |a Maria, Elisabetta De, |e editor.
- 776 08 |i Online version: |t Systems biology modelling and analysis |b First edition. |d Hoboken : Wiley, 2022 |z 9781119716563 |w (DLC) 2022027276