1
Publicado 2014
Table of Contents: ...: An Algorithm for Proving Trace Equivalence -- The Modest Toolset: An Integrated Environment for Quantitative...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... -- Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests -- Man-Machine...
Ligazón do recurso
Electrónico eBook