Search alternatives:
from programming » film programming (Expand search), arts programming (Expand search), spm programming (Expand search)
coder checking » code checking (Expand search), model checking (Expand search), body checking (Expand search)
checking from » thinking from (Expand search), checking of (Expand search), changing from (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
Showing 1 - 20 results of 35 for search '(( coder coder checking from programming ) OR ( manim python python python programming ))', query time: 0.92s Refine Results
1
Published 2023
Subjects: “...Python (Linguagem de programação de computador)...”
Access document
Article
4
Published 2020
Subjects: “...Return-oriented programming...”
Access document
Doctoral thesis
9
Published 2022
Subjects: “...Object-oriented programming...”
Access document
Article
11
Published 2014
Subjects: “...Aspect-oriented programming...”
Access document
Doctoral thesis
12
Published 2007
Subjects: “...Object-oriented logic programming...”
Access document
Doctoral thesis
13
Published 2021
Subjects: “...Programming Language Formalisation...”
Access document
Master thesis
15
Published 2010
“... aims to establish the methodology of creating C code programs, from SFC specification formalism, taking...”
Access document
16
Published 2010
“... razões. Há múltiplos trabalhos desenvolvidos na área de verificação formal, por model-checking...”
Access document
17
Published 2013
“... Observation Code (DOC). Não houve diferença significativa entre os grupos experimental e controle em relação...”
Access document
Master thesis
18
Published 2023
“... system. Besides, it is possible to generate executable models or produce code in a target programming...”
Access document
Bachelor thesis
19
Published 2020
“... mile and delivers assembly code that is provably functionally correct, protected against side-channels...”
Access document
20
Published 2006
“... de métodos formais, mais especificamente a técnica de verificação de modelos (model checking), nos processos...”
Access document
Master thesis
Export CSV Export RIS