1
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
獲取全文
電子 電子書
3
出版 2005
書本目錄: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
獲取全文
電子 電子書
4
出版 2012
書本目錄: ... -- Petrophysical Parameters Estimation from Well-Logs Data Using Multilayer Perceptron and Radial Basis Function...
獲取全文
電子 電子書
5
出版 2012
書本目錄: ... PDF Estimation -- Determining Effective Connectivity from FMRI Data Using a Gaussian Dynamic Bayesian...
獲取全文
電子 電子書
6
出版 2006
書本目錄: ... on Navy Platforms Using Soft Computing -- Software Implementation of Fuzzy Controller with Conditionally...
獲取全文
電子 電子書