Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming optimization » foraging optimization, programming application, programming applications
optimization programs » optimization program, optimization problems, optimization problem
programs electronic » program electronic, progress electronic, programming electronic
electronic array » electrode array, electronic atlas, electronic art
https » http
programming optimization » foraging optimization, programming application, programming applications
optimization programs » optimization program, optimization problems, optimization problem
programs electronic » program electronic, progress electronic, programming electronic
electronic array » electrode array, electronic atlas, electronic art
https » http
1
Published 2008
Table of Contents:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
3
4
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... by Approximate Diameter -- Computational Study on Dominating Set Problem of Planar Graphs -- Optimal Movement...”View full text
Electronic
eBook
6
by Das, Premadhis., Das, Premadhis., Dutta, Ganesh., Mandal, Nripes Kumar., Sinha, Bikas Kumar.
Published 2015
Table of Contents:
“...Chapter 1. Optimal Covariate Designs: Scope of the Monograph -- Chapter 2. OCDs in Completely...”Published 2015
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...”View full text
Electronic
eBook
9
Table of Contents:
“... Java Compiler -- Optimizing Code with GCC -- Analyzing Code Produced with GCC Compilers -- Using...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...”View full text
Electronic
eBook
12
Table of Contents:
“...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
15
Table of Contents:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text
View full text
Electronic
eBook
16
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Published 2007
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“...-connected Grid -- Optimization Design of Lifetime Distribution in Power Diode with Fast and Soft Recovery...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”View full text
Electronic
eBook