1
Assuntos:
“...Verificabilidade E2E...”
Proposta de um modelo para verificabilidade E2E no sistema eletrônico de votação brasileiro utilizando mecanismos de criptografia visual
Dissertação
2
3
4
Assuntos:
“...Verificadores de programas...”
Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT
Dissertação
5
Assuntos:
“...Não há menção as palavras-chaves.... !! verificar??...”
A música no culto protestante: convergências entre as idéias de Martinho Lutero e João Calvino
Dissertação
6
Assuntos:
“...Dígito verificador...”
Código de barras : uma abordagem no ensino fundamental
Dissertação
7
Assuntos:
“...Indicadores e verificadores...”
Critérios e indicadores de sustentabilidade para o manejo de florestas tropicais
Dissertação
8
Assuntos:
“...Verificador independente...”
Fiscalização da execução contratual de parcerias público-privadas e o papel dos verificadores independentes (VI): a experiência da utilização de VI em contratos de PPPs celebrados...
Dissertação
9
Assuntos:
“...Não foi possível verificar autoria da elaboração da ficha catalográfica em 21/12/2022...”
Uso da modelagem e simulação à análise de plantas de captura de CO2: dimensionamento e economia do processo
Dissertação
10
Assuntos:
“...Não foi possível verificar autoria da elaboração da ficha catalográfica em 21/12/2022...”
A matriz gesto-fala em recontos de histórias por crianças em aquisição: perspectiva narrativa em foco
Tese
11
Assuntos:
“...Não foi possível verificar autoria da elaboração da ficha catalográfica em 21/12/2022...”
Fatores associados a intenção da inserção de DIU e laqueadura tubária em um hospital escola
Dissertação
12
Assuntos:
“...Não foi possível verificar autoria da elaboração da ficha catalográfica em 22/12/2022...”
Estudo in silico de diterpeno e alcaloide com potencial antibacteriano contra klebsiella pneumoniae
Dissertação
13
Assuntos:
“...Sistemas de dígitos verificadores...”
Uma análise dos esquemas de dígitos verificadores usados no Brasil
Dissertação
14
Assuntos:
“...Verificador de identidade vocal....”
Utilização de aritmética bit-serial para redução de consumo de energia.
Dissertação
15
Assuntos:
“...Verificador Interativo de Programas (VIP)...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação