Transactions on Computational Systems Biology XIV

Special Issue on Computational Models for Cell Processes

Lecture Notes in Computer Science / Transactions on Computational Systems Biology .7625

Herausgegeben von Petre, Ion de Vink, Erik Priami, Corrado

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. x

税込価格：

11,719円

海外在庫あり 通常２～５週間で出荷

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Lecture Notes in Computer Science .10951

Herausgegeben von Havelund, Klaus Peleska, Jan Roscoe, Bill

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xiv

税込価格：

21,100円

海外在庫あり 通常２～５週間で出荷