Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
constraint programing » constraint programming, constraints programming, constrained programming
computing constraint » compiling constraint, routing constraints, computing considering
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
constraint programing » constraint programming, constraints programming, constrained programming
computing constraint » compiling constraint, routing constraints, computing considering
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
1
Publicado em 2005
Sumário:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2007
Sumário:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2012
Sumário:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2008
Sumário:
“... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2006
Sumário:
“... for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2010
Sumário:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”Obter o texto integral
Recurso Electrónico
livro electrónico