Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming programmed » processing programmed
evaluating programming » computing programming, exploring programming
programmed constraint » programming constraint, programming constraints, programme contract
integrals evaluating » integrals evaluation, internet evaluating, integrated evaluation
constraint https » constraint atoms, constraint graphs, constraint codes
programming programmed » processing programmed
evaluating programming » computing programming, exploring programming
programmed constraint » programming constraint, programming constraints, programme contract
integrals evaluating » integrals evaluation, internet evaluating, integrated evaluation
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
Оглавление:
“... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Оглавление:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2011
Оглавление:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2006
Оглавление:
“... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...”Полный текст
Электронный ресурс
eКнига
20
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Опубликовано 2007
Оглавление:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”Полный текст
Электронный ресурс
eКнига