Mostrando 1 - 10 resultados de 10 para a busca '(("based computational and complexity from") OR ("and computational and computing program"))~', tempo de busca: 1,29s Refinar Resultados
1
... for equality-checking modulo A, C and AC is automatically extracted from the specification and experiments are...
Acessar documento
Tese
2
Publicado em 2024
... datasets. We thank the Centre for Mathematical Analysis, Geometry, and Dynamical Systems, from Instituto...
Acessar documento
Artigo
3
Publicado em 2012
... de cálculo numérico. Este trabalho descreve a aplicação SIMCOMB.exe, um programa que através da realização...
Acessar documento
Dissertação
6
Publicado em 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Acessar documento
Tese
10
Publicado em 2017
... classificações segundo o Programa de Qualidade do Café (PQC) da Associação Brasileira da Indústria do Café (ABIC...
Acessar documento
Tese
Exportar CSV Export RIS