Rekommenderade teman
Rekommenderade teman
Menade du:
computational programming » computation programming, computational program, computational processing
programming constraints » programming constraint, programming constrained, programming constructs
computing programming » computer programming, computers programming
constraints data » constraints a, constraints based, constraints _
computational programming » computation programming, computational program, computational processing
programming constraints » programming constraint, programming constrained, programming constructs
computing programming » computer programming, computers programming
constraints data » constraints a, constraints based, constraints _
1
av Shieber, Stuart M.
Publicerad 1992
Ämnen:
“...Grammar, Comparative and general Data processing....”Publicerad 1992
Bok
2
Publicerad 2011
Ämnen:
“...Programming languages (Electronic computers)....”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2008
Innehållsförteckning:
“... -- A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2014
Innehållsförteckning:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2008
Innehållsförteckning:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2007
Innehållsförteckning:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2008
Innehållsförteckning:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2008
Innehållsförteckning:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2006
Innehållsförteckning:
“... -- Dynamic Scheduling with Genetic Programming -- Emergent Generality of Adapted Locomotion Gaits...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2008
Innehållsförteckning:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”Hämta fulltext
Elektronisk
E-bok
13
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicerad 2007
Innehållsförteckning:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2008
Innehållsförteckning:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2015
Innehållsförteckning:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2014
Innehållsförteckning:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2014
Innehållsförteckning:
“...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2005
Innehållsförteckning:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”Hämta fulltext
Elektronisk
E-bok