1
Publicado em 2007
Sumário: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2012
Sumário: ... -- Petrophysical Parameters Estimation from Well-Logs Data Using Multilayer Perceptron and Radial Basis Function...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2012
Sumário: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
Obter o texto integral
Recurso Eletrônico livro eletrônico