在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constructs » programming concepts, programming contest
constructs constraint » constraints constraint, constraints constrained, constructs construction
constraint a » constraint _, constraint based
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constructs » programming concepts, programming contest
constructs constraint » constraints constraint, constraints constrained, constructs construction
constraint a » constraint _, constraint based
1
2
出版 2007
书本目录:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”获取全文
电子
电子书
3
出版 2012
书本目录:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”获取全文
电子
电子书
4
出版 2013
书本目录:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”获取全文
电子
电子书
5
出版 2008
书本目录:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”获取全文
电子
电子书
6
出版 2006
书本目录:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”获取全文
电子
电子书
7
书本目录:
“... fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based...”
获取全文
获取全文
电子
电子书
8
出版 2007
书本目录:
“... Constraint Programs Transparently -- MiniZinc: Towards a Standard CP Modelling Language -- Propagation = Lazy...”获取全文
电子
电子书
9
出版 2005
书本目录:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”获取全文
电子
电子书
10
出版 2008
书本目录:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”获取全文
电子
电子书
11
出版 2005
书本目录:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”获取全文
电子
电子书
12
出版 2008
书本目录:
“... Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR...”获取全文
电子
电子书
13
出版 2013
书本目录:
“...The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint...”获取全文
电子
电子书
14
出版 2005
书本目录:
“... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”获取全文
电子
电子书
15
出版 2005
书本目录:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”获取全文
电子
电子书
16
出版 2007
书本目录:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”获取全文
电子
电子书
17
出版 2008
书本目录:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”获取全文
电子
电子书
18
出版 2008
书本目录:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”获取全文
电子
电子书
19
出版 2007
书本目录:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”获取全文
电子
电子书
20
出版 2014
书本目录:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”获取全文
电子
电子书