1
出版 2014
书本目录: ...: An Algorithm for Proving Trace Equivalence -- The Modest Toolset: An Integrated Environment for Quantitative...
获取全文
电子 电子书
2
出版 2014
书本目录: ... -- Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests -- Man-Machine...
获取全文
电子 电子书