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...
獲取全文
電子 電子書