Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
solving programming » solving programmed, modeling programming, using programming
integrated solving » integrated moving, integration solving, integrators solving
constraints data » constraints a, constraints based, constraints _
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
solving programming » solving programmed, modeling programming, using programming
integrated solving » integrated moving, integration solving, integrators solving
constraints data » constraints a, constraints based, constraints _
1
Julkaistu 2014
Sisällysluettelo:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“... Manufacturing -- A Constraint Programming Approach for the Service Consolidation Problem -- Solving Connected...”Hae kokoteksti
Elektroninen
E-kirja
5
Sisällysluettelo:
“...An Overview of Picat -- Basic Constraint Modeling -- Advanced Constraint Modeling -- Dynamic...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2013
Sisällysluettelo:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2010
Sisällysluettelo:
“...-ary Patterns -- An Integrated Business Rules and Constraints Approach to Data Centre Capacity...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2008
Sisällysluettelo:
“... Program Declarative Bias -- Generalising Constraint Solving over Finite Domains -- Detection of Security...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2005
Sisällysluettelo:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2010
Sisällysluettelo:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2008
Sisällysluettelo:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“...-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2015
Sisällysluettelo:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2013
Sisällysluettelo:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2014
Sisällysluettelo:
“... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2005
Sisällysluettelo:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Hae kokoteksti
Elektroninen
E-kirja
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Hae kokoteksti
Elektroninen
E-kirja
18
Tekijä Abduh Kaid, Monir Abdullah
Julkaistu 2009
Aiheet:
“...Loaders (Computer programs) - Case studies...”Julkaistu 2009
Hae kokoteksti
Opinnäyte
19
Julkaistu 2007
Sisällysluettelo:
“...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2007
Sisällysluettelo:
“... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...”Hae kokoteksti
Elektroninen
E-kirja