Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
problems constructions » problems construction, problem construction, problems instructions
integration computer » international computer, interactive computer
constructions https » construction https, instruction https, constructions sites
program problems » programs problems, program problem, programs problem
problems constructions » problems construction, problem construction, problems instructions
integration computer » international computer, interactive computer
constructions https » construction https, instruction https, constructions sites
program problems » programs problems, program problem, programs problem
1
Publicado em 2005
Sumário:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2007
Sumário:
“...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Sumário:
“... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2013
Sumário:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2014
Sumário:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2006
Sumário:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2005
Sumário:
“... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2008
Sumário:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2014
Sumário:
“...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2014
Sumário:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2007
Sumário:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2008
Sumário:
“... with Unstable Links -- Sensor Networks Continue to Puzzle: Selected Open Problems -- Distributed Coordination...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Electrónico
livro electrónico