Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming constraints » programming constraint, programming constrained, programming constructs
constructive computing » construction computing, constructive computation, constructive community
constraints constraint » constraints consistent
computing programming » computer programming, computers programming
constraint a » constraint _, constraint based
programming constraints » programming constraint, programming constrained, programming constructs
constructive computing » construction computing, constructive computation, constructive community
constraints constraint » constraints consistent
computing programming » computer programming, computers programming
constraint a » constraint _, constraint based
1
Оглавление:
“... fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based...”
Полный текст
Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2005
Оглавление:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2007
Оглавление:
“... Constraint Programs Transparently -- MiniZinc: Towards a Standard CP Modelling Language -- Propagation = Lazy...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2013
Оглавление:
“...The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2005
Оглавление:
“... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Полный текст
Электронный ресурс
eКнига
9
по Mohammad Pour, Shahrzad
Опубликовано 2009
Предметы:
“...Computer algorithms...”Опубликовано 2009
Полный текст
Thesis
10
Опубликовано 2012
Оглавление:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2007
Оглавление:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2013
Оглавление:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2008
Оглавление:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2005
Оглавление:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2007
Оглавление:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2007
Оглавление:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Полный текст
Электронный ресурс
eКнига