語系
Bartocci, Ezio.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
Bartocci, Ezio.; Clark Conference ((2005 :); Lio, Pietro.; Paoletti, Nicola.; SpringerLink (Online service)
(書目-電子資源)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
Bartocci, Ezio.; Clark Conference ((2005 :); Majumdar, Rupak.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Appl. in Life Sciences.
Logics and Meanings of Programs.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Systems biology
Simulation and Modeling.
Computational biology
Computational Biology/Bioinformatics.
Symbolic and Algebraic Manipulation.