1
出版 2014
书本目录: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
获取全文
电子 电子书
2
出版 2005
书本目录: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
获取全文
电子 电子书
3
出版 2005
书本目录: ... Matching Problem as a Constraint Optimization Problem -- Evolving XML Schemas and Documents Using UML Class...
获取全文
电子 电子书
4
出版 2006
书本目录: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
获取全文
电子 电子书
5
出版 2015
书本目录: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
获取全文
电子 电子书
6
出版 2010
书本目录: ... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...
获取全文
电子 电子书
7
出版 2010
书本目录: ... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...
获取全文
电子 电子书
8
出版 2006
书本目录: ... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...
获取全文
电子 电子书