Buscas alternativas:
clustering python » clustering method (Expandir a busca), clustering methods (Expandir a busca), clustering pattern (Expandir a busca)
using clustering » and clustering (Expandir a busca), means clustering (Expandir a busca)
code componente » mode component (Expandir a busca), mode components (Expandir a busca), cada componente (Expandir a busca)
componente code » componente conexa (Expandir a busca), componente modelo (Expandir a busca), componente acido (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
code code » code cdc (Expandir a busca), code co (Expandir a busca)
clustering python » clustering method (Expandir a busca), clustering methods (Expandir a busca), clustering pattern (Expandir a busca)
using clustering » and clustering (Expandir a busca), means clustering (Expandir a busca)
code componente » mode component (Expandir a busca), mode components (Expandir a busca), cada componente (Expandir a busca)
componente code » componente conexa (Expandir a busca), componente modelo (Expandir a busca), componente acido (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
code code » code cdc (Expandir a busca), code co (Expandir a busca)
2
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Acessar documento
Acessar documento
Dissertação
3
4
5
6
7
8
9
10
11
12
Assuntos:
“...mixed-integer linear programming...”
Acessar documento (1)
Acessar documento (2)
Acessar documento (1)
Acessar documento (2)
Artigo
13
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Acessar documento
Acessar documento
14
15
17
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Acessar documento
Acessar documento
Tese
18
19
20