1
2
Assuntos:
“...B method...”
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
Dissertação
3
Assuntos:
“...Verified compilation, B method...”
Aplicação do método B ao projeto formal de software embarcado
Dissertação
4
Assuntos:
“...B method...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação
5
Assuntos:
“...B method...”
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
Dissertação
6
Assuntos:
“...PLC. IEC 61131-3. B method. Formal methods. Safety critical systems...”
Formal verification of PLC programs using the B Method
Dissertação
7
Assuntos:
“...Method of analysis...”
Avaliações ex ante e a qualidade do habitar no Brasil do século 21: uma possibilidade crítica
Tese
8
Assuntos:
“...40Ar/39Ar method...”
Geochronology of mesozoic large Igeous Provinces in NE Brazil
Tese
9
Assuntos:
“...Conditional prediction method...”
Métodos para estimar prevalências ajustadas
Dissertação
10
11
Assuntos:
“...Gridless method...”
Desenvolvimento do método de partículas na representação de corpos flutuantes em ondas altamente não-lineares.
Dissertação
12
Assuntos:
“...traditional method...”
Regionalização de vazões na bacia hidrográfica do Rio Piquiri
Dissertação
13
Assuntos:
“...traditional method...”
Regionalização de vazões na bacia hidrográfica do Rio Piquiri
Dissertação
14
Assuntos:
“...Finite Element Method...”
Projeto de mecanismos flexíveis baseado no efeito da flambagem não linear utilizando o método de otimização topológica.
Tese
15
Assuntos:
“...Finite Element Method...”
Análise isogeométrica aplicada a elementos de vigas planas.
Dissertação
16
Assuntos:
“...Methodi Ordinatio...”
Modelo multicritério para definição de ações de educação ambiental na gestão de resíduos sólidos domiciliares
Dissertação
17
Assuntos:
“...Analytical Method...”
Discursos Sobre Problemas Aritméticos (São Paulo, 1890 - 1930)
Dissertação
18
Assuntos:
“...Path integral method...”
Alguns métodos para o cálculo do propagador de Feynman
Dissertação
19
Assuntos:
“...Rietveld method...”
Síntese e caracterização de ferritas de manganês e zinco visando aplicação como agente de contraste em diagnóstico médico (biosusceptometria de corrente alternada)
Dissertação
20
Assuntos:
“...Composed Newton method...”
Estudo e análise do desempenho do método barreira modificada
Dissertação