1
2
Assuntos:
“...protocolo SMT...”
Determinação das frações de fósforo no sedimento superficial dos principais rios da cidade de São Roque, SP
Dissertação
3
Assuntos:
“...SMT...”
Projeto de dispositivos optoeletrônicos automotivos utilizando abordagem de sistemas Fuzzy
Tese
4
Assuntos:
“...Sistema de Memória Transacional (SMT)...”
Aprendizagem em equipes de trabalho e a formação do Sistema de Memória Transacional
Tese
5
Assuntos:
“...SMT...”
TSNsched: automated schedule generation for time sensitive networking
Dissertação
6
Assuntos:
“...Arquiteturas SMT...”
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos
Tese
7
8
Assuntos:
“...Protocolo SMT...”
Fracionamento químico de fósforo em testemunho de sedimento do Reservatório Macela, Itabaiana-Sergipe
Dissertação
9
Assuntos:
“...Protocolo SMT...”
Avaliação da contaminação e interferência antropogênica através da análise de fósforo em sedimentos superficiais da bacia hidrográfica do rio Japaratuba
Dissertação
10
Assuntos:
“...Eventos Kaizen. SMT...”
Eventos Kaizen aplicados no processo de linha de montagem SMT para redução de tempo de set-up: estudo de caso
Dissertação
11
12
Assuntos:
“...Satisfiability Modulo Theories (SMT)...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação
13
Assuntos:
“...SMT...”
Estudo experimental da migração eletroquímica em soldagem eletrônica Sn/Ag/Cu \"Lead Free\".
Dissertação
14
Assuntos:
“...SMT - Solvers...”
Deciding difference logic in a Nelson-Oppen combination framework
Dissertação
15
Assuntos:
“...Resolução SMT...”
Novas técnicas de instanciação e produção de demonstrações para a resolução SMT
Tese
16
Assuntos:
“...Solucionadores SMT...”
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
Dissertação
17
Assuntos:
“...SMT...”
An extension of a tool for the formal support for component-based development
Dissertação
18
Assuntos:
“...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação
19
Assuntos:
“...COI and 16SmtDNA...”
Revisão taxonômica das espécies dos gêneros Epialtus H. Milne Edwards, 1834 e Acanthonyx Latreille, 1828 (Brachyura: Majoidea: Epialtidae) do Brasil
Dissertação