Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
using programming » using programmable, computing programming
constraint graphs » constraints graphs, constraint graph, constrained graphs
integrated using » integrated housing, integrated ring, integrated wing
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
using programming » using programmable, computing programming
constraint graphs » constraints graphs, constraint graph, constrained graphs
integrated using » integrated housing, integrated ring, integrated wing
1
Gepubliceerd in 2014
Inhoudsopgave:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2010
Inhoudsopgave:
“... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2007
Inhoudsopgave:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2007
Inhoudsopgave:
“... -- Observable Confluence for Constraint Handling Rules -- Graph Transformation Systems in CHR -- Multivalued...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2005
Inhoudsopgave:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2010
Inhoudsopgave:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2005
Inhoudsopgave:
“... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Volledige tekst
Elektronisch
E-boek
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Gepubliceerd in 2013
Inhoudsopgave:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2008
Inhoudsopgave:
“... for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2011
Inhoudsopgave:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2008
Inhoudsopgave:
“... Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2007
Inhoudsopgave:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2006
Inhoudsopgave:
“... Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2008
Inhoudsopgave:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“... Algorithm for Inducing Temporal Constraint Networks -- Analysis of the Time Evolution of Scientograms Using...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2008
Inhoudsopgave:
“... Patterns of Poor Design Solutions Using Constraint Propagation -- A General Approach for Scenario...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2008
Inhoudsopgave:
“... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2008
Inhoudsopgave:
“... and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate...”Volledige tekst
Elektronisch
E-boek