1
Publicado em 2014
Sumário: ...: An Algorithm for Proving Trace Equivalence -- The Modest Toolset: An Integrated Environment for Quantitative...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2014
Sumário: ... -- Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests -- Man-Machine...
Obter o texto integral
Recurso Eletrônico livro eletrônico