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