Showing 1 - 10 results of 10 for search '(("based computational and computing program") OR ("and computational and complexity from"))~', query time: 1.40s Refine Results
1
... for equality-checking modulo A, C and AC is automatically extracted from the specification and experiments are...
Access document
Doctoral thesis
2
Published 2024
... datasets. We thank the Centre for Mathematical Analysis, Geometry, and Dynamical Systems, from Instituto...
Access document
Article
3
... de cálculo numérico. Este trabalho descreve a aplicação SIMCOMB.exe, um programa que através da realização...
Access document
Master thesis
6
Published 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Access document
Doctoral thesis
10
Published 2017
... classificações segundo o Programa de Qualidade do Café (PQC) da Associação Brasileira da Indústria do Café (ABIC...
Access document
Doctoral thesis
Export CSV Export RIS