Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming programming » programming programmed, programming program
ordering constraint » ordering constraints, order constraint, modeling constraint
programming array » programming coarrays, programming aaron, programming arm
array a » array _
programming programming » programming programmed, programming program
ordering constraint » ordering constraints, order constraint, modeling constraint
programming array » programming coarrays, programming aaron, programming arm
array a » array _
1
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Julkaistu 2008
Sisällysluettelo:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“...) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2010
Sisällysluettelo:
“... for Size-Change Termination -- A Syntactical Approach to Qualitative Constraint Networks Merging...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... Elimination Problems for Matrices -- A Full System of Invariants for Third-Order Linear Partial Differential...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2013
Sisällysluettelo:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2008
Sisällysluettelo:
“... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2005
Sisällysluettelo:
“... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2010
Sisällysluettelo:
“... Algorithm under Criticality Constraint -- A Novel Technique for ARMA Modelling with Order and Parameter...”Hae kokoteksti
Elektroninen
E-kirja
11
Sisällysluettelo:
“...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2008
Sisällysluettelo:
“... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2015
Sisällysluettelo:
“... -- Unifying Tone System Definitions: Ordering Chromas -- A Categorical Generalization of Klumpenhouwer...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2014
Sisällysluettelo:
“... Methods of Order Five -- Andrea Manzoni, Toni Lassila, Alfio Quarteroni, and Gianluigi Rozza: A reduced...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2012
Sisällysluettelo:
“...Sampling in Landscape Genomics -- oligoTag: A Program for Designing Sets of Tags for Next...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2006
Sisällysluettelo:
“... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2005
Sisällysluettelo:
“... Collaborative Recommendation -- Feature Selection by Ordered Rough Set Based Feature Weighting -- A Full-Text...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2005
Sisällysluettelo:
“... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2013
Sisällysluettelo:
“...A Populated Iterated Greedy Algorithm with Inver-Over Operator for Traveling Salesman Problem...”Hae kokoteksti
Elektroninen
E-kirja