Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
integrated linear » integrated library, integration linear, integrating linear
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
integrated linear » integrated library, integration linear, integrating linear
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... Selection Architecture for Genetic Programming -- A Comparison of Cartesian Genetic Programming and Linear...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
4
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Certificates for Linear Logic -- Constructive Completeness for Modal Logic with Transitive Closure -- Rating...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
8
“... fertilization of fish ponds. A mixed integer linear program (MIP) was utilized for the analysis. The results...”
Article
9
Published 2013
Table of Contents:
“... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...”View full text
Electronic
eBook
13
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Operators: IV. A Matrix Construction -- Directing Mappings in Krein Spaces -- Survey Article...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”View full text
Electronic
eBook