1
出版 2010
書本目錄: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
獲取全文
電子 電子書
2
出版 2015
書本目錄: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...
獲取全文
電子 電子書