Search alternatives:
basis programming » basic programming (Expand search), based programming (Expand search), arts programming (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder formal » poder formal (Expand search), poder forma (Expand search), poder formas (Expand search)
formal basis » formal brasil (Expand search), formal basica (Expand search), former basis (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
basis programming » basic programming (Expand search), based programming (Expand search), arts programming (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder formal » poder formal (Expand search), poder forma (Expand search), poder formas (Expand search)
formal basis » formal brasil (Expand search), formal basica (Expand search), former basis (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
3
4
5
6
7
8
“...The use of Automatic Code Generators for Formal Methods not only minimizes efforts on the...”
Access document
Access document
Doctoral thesis
9
10
11
“...Este trabalho investiga criticamente a prática do live coding, uma arte performática que envolve...”
Access document
Access document
Bachelor thesis
12
13
“... para um processo de Descoberta de Conhecimento em Bases de Dados (KDD) pelo cruzamento de dados de diferentes...”
Access document
Access document
Master thesis
14
15
“... to insights and bridge communication between life scientists and computer scientists. Python is a programming...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Article
16
17
“..., to provide formal descriptions to data sources as well as to associate semantics to them and to make...”
Access document
Access document
Master thesis
18
Subjects:
“...[pt] PROOF-CARRYING CODE...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
19
Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações.
“... e necessidades, este trabalho apresenta uma proposta de arcabouço teórico para MDE, baseada nas teorias...”Access document
Doctoral thesis
20