Buscas alternativas:
plovers » lovers (Expandir a busca), clovers (Expandir a busca), plotters (Expandir a busca)
plovers » lovers (Expandir a busca), clovers (Expandir a busca), plotters (Expandir a busca)
2
4
5
6
7
8
“... to flavor, colour, appearance and body as "good" and "very good" acceptance. In relation to provers ratio...”
Processamento e estabilidade dos sucos polposo e clarificado de cajá (Spondias lutea L.)
Dissertação
9
“... so-called parallel certification systems, which are formed by the orchestration of provers to verify formal...”
Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho.
Tese
10
11
“... of theorem provers is an important resource for verification of systems with unlimited number of states. The...”
Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
Dissertação
12
13
14
15
16
“... Intelligence methods and guided automatic theorem provers similar to the one used in HOL4 or Isabelle. Our...”
Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
Tese