1
出版 2007
书本目录: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
获取全文
电子 电子书
2
出版 2012
书本目录: ... -- Petrophysical Parameters Estimation from Well-Logs Data Using Multilayer Perceptron and Radial Basis Function...
获取全文
电子 电子书
3
出版 2012
书本目录: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
获取全文
电子 电子书