Buscas alternativas:
"smtp" » "smp" (Expandir a busca), "smap" (Expandir a busca), "smip" (Expandir a busca)
"smtp" » "smp" (Expandir a busca), "smap" (Expandir a busca), "smip" (Expandir a busca)
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
5
Assuntos:
“...Sistema de Memória Transacional (SMT)...”
Aprendizagem em equipes de trabalho e a formação do Sistema de Memória Transacional
Tese
6
Assuntos:
“...SMT...”
TSNsched: automated schedule generation for time sensitive networking
Dissertação
7
Assuntos:
“...Arquiteturas SMT...”
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos
Tese
8
9
Assuntos:
“...Protocolo SMT...”
Fracionamento químico de fósforo em testemunho de sedimento do Reservatório Macela, Itabaiana-Sergipe
Dissertação
10
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
11
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
12
13
Assuntos:
“...Satisfiability Modulo Theories (SMT)...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação
14
15
Assuntos:
“...SMT...”
Estudo experimental da migração eletroquímica em soldagem eletrônica Sn/Ag/Cu \"Lead Free\".
Dissertação
16
Assuntos:
“...SMT - Solvers...”
Deciding difference logic in a Nelson-Oppen combination framework
Dissertação
17
Assuntos:
“...Resolução SMT...”
Novas técnicas de instanciação e produção de demonstrações para a resolução SMT
Tese
18
Assuntos:
“...Solucionadores SMT...”
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
Dissertação
19
Assuntos:
“...SMT...”
An extension of a tool for the formal support for component-based development
Dissertação
20
Assuntos:
“...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação