1
出版 2008
書本目錄: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... Recursive Functions with Object Oriented Genetic Programming -- Negative Slope Coefficient: A Measure...
獲取全文
電子 電子書
3
出版 2013
書本目錄: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
獲取全文
電子 電子書
4
出版 2015
書本目錄: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
獲取全文
電子 電子書
5
出版 2008
書本目錄: ... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...
獲取全文
電子 電子書
6
出版 2005
書本目錄: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
獲取全文
電子 電子書
7
出版 2014
書本目錄: ... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...
獲取全文
電子 電子書
8
出版 2013
書本目錄: ...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...
獲取全文
電子 電子書
9
主題: ...-market-codes/M26024...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ... Merge Process for Behavioral Evolution -- Evaluating Domain Design Approaches Using Systematic Review...
獲取全文
電子 電子書
11
出版 2008
書本目錄: ... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...
獲取全文
電子 電子書
12
出版 2008
書本目錄: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
獲取全文
電子 電子書
13
出版 2006
書本目錄: ... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...
獲取全文
電子 電子書
14
Revesz, Peter., Revesz, Peter.
出版 2010
書本目錄: ...Data Models, Queries, Evaluation -- Propositional Databases -- Relational Databases -- Constraint...
獲取全文
電子 電子書
15
出版 2008
書本目錄: ... Structure Theory -- Exploiting Ontological Structure for Complex Preference Assembly -- Constraints -- A...
獲取全文
電子 電子書
16
出版 2010
書本目錄: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
獲取全文
電子 電子書
17
出版 2006
書本目錄: ... Research -- What Beyond CMMI Is Needed to Help Assure Program and Project Success? -- Integrated Software...
獲取全文
電子 電子書
18
出版 2008
書本目錄: ...-Oriented Code Metrics -- Leveraging Source Code Search for Reuse -- An Experimental Evaluation...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...
獲取全文
電子 電子書
20
出版 2010
書本目錄: ... Regarding the Cache Level of a Memory Hierarchy using Hamming Codes -- Performance Evaluation...
獲取全文
電子 電子書