Buscas alternativas:
algorithms program » algorithms programming (Expandir a busca)
program programa » prouni programa (Expandir a busca)
Mostrando 1 - 20 resultados de 538 para a busca 'algorithms program programa', tempo de busca: 0,15s

1

Assuntos: ...Síntese de programas...

Program synthesis from denotational semantics

Publicado em 2016
Dissertação

5

... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...

An approach to safely evolve preprocessor-based C program families.

Publicado em 2016
Tese

6

... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...

An approach to safely evolve preprocessor-based C program families.

Publicado em 2016
Tese

7

...-se uma tarefa humanamente inviável. Um assistente de provas é um programa cuja finalidade é realizar...

[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER

Publicado em 2018
Tese

9

Assuntos: ...Compiladores (Programas de Computador)...

Algoritmos para escalonamento de instruções e alocação de registradores na infraestrutura LLVM

Publicado em 2013
Dissertação

10

...Teaching Introductory Programming and Data Structures and Algorithms is an important part...

Willow : a tool for interactive data structures and algorithms visualization

Publicado em 2020
Dissertação

11

... pela edificação. Propõe-se um modelo de algoritmos genéticos que, juntamente com um programa de simulação...

[en] BUILDINGS ENERGY EFFICIENCY–BUILDING OPTIMIZATION USING GENETIC ALGORITHMS

Publicado em 2017
Tese

12

Assuntos: ...Python (Computer program language)...

Soluções de equações diofantinas lineares padrões de ordem superior

Publicado em 2020
Dissertação

16

Assuntos: ...Programa Bolsa-Família...

O Programa Bolsa-Família e o trabalho infantil no Brasil

Publicado em 2010
Tese

17

Assuntos: ...Algorithms...

O algoritmo de Lanczos na análise estrutural

Publicado em 1993
Dissertação

19

...-motion algorithms using UAS-like rendered images, enabling inference-making about tested factors. This...

High-throughput phenotyping via UAS: the optimization within a breeding program and a new validation method based on simulation

Publicado em 2020
Tese