Buscas alternativas:
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
1
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
2
Assuntos:
“...Application Programming Interface...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação
3
Assuntos:
“...Constraint programming...”
Planejamento integrado da cadeia de suprimentos da indústria do petróleo baseado em agentes holônicos.
Tese
4
Assuntos:
“...Mathematical programming...”
Análises e métodos de otimização para eficiência energética de estações elevatórias em sistemas de abastecimento de água.
Tese
5
Assuntos:
“...Mathematical programming...”
Análises e métodos de otimização para eficiência energética de estações elevatórias em sistemas de abastecimento de água.
Tese
6
Assuntos:
“...Algorithms...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
7
“... specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern...”
Uma linguagem de especificação formal orientada por aspectos
Dissertação
8
“...Program synthesis aims to automate the task of programming. Through program synthesis...”
Program synthesis from denotational semantics
Dissertação
9
“... mathematical modeling of problems presented and using sequential algorithms and writings parallels in the...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
10
11
12
“.... Using an appropriate formulation of the method and the Object Oriented Programming (OOP), it was...”
Análise e otimização de estruturas laminadas utilizando a formulação isogeométrica
Dissertação