Computational Methods in Systems Biology Pierpaolo Degano & Roberto Gorrieri: другие книги

Concurrency, Graphs and Models Concurrency, Graphs and Models
2008
Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology
2008
Formal Aspects in Security and Trust Formal Aspects in Security and Trust
2010