Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
programming constraint » programming constrained, programming unconstrained, programming constructs
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
constraint https » constraint atoms, constraint graphs, constraint codes
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
programming constraint » programming constrained, programming unconstrained, programming constructs
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
constraint https » constraint atoms, constraint graphs, constraint codes
1
Опубликовано 2014
Оглавление:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2006
Оглавление:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2006
Оглавление:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2013
Оглавление:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2015
Оглавление:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2014
Оглавление:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2005
Оглавление:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2014
Оглавление:
“... -- 10. Review of potato biotic constraints and experiences with integrated pest management interventions...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2008
Оглавление:
“... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2011
Оглавление:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2006
Оглавление:
“... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...”Полный текст
Электронный ресурс
eКнига
20
Оглавление:
“...Data Models, Queries, Evaluation -- Propositional Databases -- Relational Databases -- Constraint...”
Полный текст
Полный текст
Электронный ресурс
eКнига