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

Formal Methods in Macro-Biology
EISBN：9783319103983
PISBN：9783319103976
出版社：Springer International Publishing
出版类型：Proceedings
出版时间：2014
作者：François Fages,Carla Piazza
主题词：Computational Biology/Bioinformatics,Logics and Meanings of Programs,Health Informatics,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

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

Formal Methods in Systems Biology
  • 作者：Jasmin Fisher
  • EISBN：9783540684138
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008
...

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

Formal Methods
  • 作者：Marsha Chechik,Joost-Pieter Katoen,Martin Leucker
  • EISBN：9783031274817
  • 出版社：Springer Nature
  • 出版时间：2023
...

Formal Methods
  • 作者：Flemming Nielson,Hanne Riis Nielson
  • EISBN：9783030051563
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Formal Methods
  • 作者：Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
  • EISBN：9783319955827
  • 出版社：Springer International Publishing
  • 出版时间：2018