登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Formal Methods in Systems Biology
EISBN：9783540684138
PISBN：9783540684107
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：2008
作者：Jasmin Fisher
主题词：Simulation and Modeling,Computational Biology/Bioinformatics,Computer Appl. in Life Sciences,Software Engineering,Database Management,Computation by Abstract Devices
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
3浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Methods for Computational Systems Biology
  • 作者：Marco Bernardo,Pierpaolo Degano,Gianluigi Zavattaro
  • EISBN：9783540688945
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008
...

Systems Biology Modelling and Analysis - Formal Bioinformatics Methods and Tools
  • 作者：De Maria
  • EISBN：9781119716600
  • 出版社：Wiley
  • 出版时间：2022
...

Formal Methods in Macro-Biology
  • 作者：François Fages,Carla Piazza
  • EISBN：9783319103983
  • 出版社：Springer International Publishing
  • 出版时间：2014
...

Formal Methods for Industrial Critical Systems
  • 作者：Anne E. Haxthausen,Wendelin Serwe
  • EISBN：9783031681509
  • 出版社：Springer Nature
  • 出版时间：2024
...

Formal Methods for Industrial Critical Systems
  • 作者：Gwen Salaün,Bernhard Schätz
  • EISBN：9783642244315
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011
...

Formal Methods for Dynamical Systems
  • 作者：Marco Bernardo,Erik Vink,Alessandra Pierro,Herbert Wiklicky
  • EISBN：9783642388743
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013