1
出版 2008
书本目录: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
获取全文
电子 电子书
3
Lew, Art., Lew, Art., Mauch, Holger.
出版 2007
书本目录: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
获取全文
电子 电子书
4
Zhang, Yue., Zhang, Yue.
出版 2015
书本目录: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
获取全文
电子 电子书
5
书本目录: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
获取全文
电子 电子书
6
主题: ...Programming languages (Electronic computers)....
获取全文
电子 电子书
7
出版 2006
书本目录: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
获取全文
电子 电子书
8
出版 2007
书本目录: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
获取全文
电子 电子书
9
出版 2008
书本目录: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
获取全文
电子 电子书
10
出版 2014
书本目录: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
获取全文
电子 电子书
11
出版 2015
书本目录: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
获取全文
电子 电子书
12
出版 2006
书本目录: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
获取全文
电子 电子书
13
出版 2007
书本目录: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
获取全文
电子 电子书
14
出版 2006
书本目录: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
获取全文
电子 电子书
15
出版 2005
书本目录: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
获取全文
电子 电子书
16
书本目录: ...-RNC Algorithm -- Automatically Defined Functions in Problem Solving -- Polynomial Induction and Time...
获取全文
电子 电子书
17
出版 2006
书本目录: ...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...
获取全文
电子 电子书
18
出版 2008
书本目录: ...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...
获取全文
电子 电子书
19
Lee, Kent D., Lee, Kent D.
出版 2014
书本目录: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
获取全文
电子 电子书
20
书本目录: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
获取全文
电子 电子书