Search alternatives:
development formal » development thermal (Expand search), development forum (Expand search), development final (Expand search)
formal programming » foetal programming (Expand search), fetal programming (Expand search), goal programming (Expand search)
coder development » code development (Expand search), cover development (Expand search), border development (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 coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
Showing 1 - 20 results of 80 for search '(( coder coder development formal programming ) OR ( python coding python python programming ))', query time: 1.04s Refine Results
7
Published 2019
Subjects: “...Python (Linguagem de programação de computador)...”
Access document
Master thesis
8
Published 2018
“...The use of Automatic Code Generators for Formal Methods not only minimizes efforts on the...”
Access document
Doctoral thesis
10
Published 2020
Subjects: “...Python (Linguagem de programação de computador)...”
Access document
Bachelor thesis
11
Published 2022
Subjects: “...Verificação Formal...”
Access document
Bachelor thesis
13
Published 2024
“...Este trabalho investiga criticamente a prática do live coding, uma arte performática que envolve...”
Access document
Bachelor thesis
15
Published 2023
“... sem treinamento formal em linguagens de programação. Outra meta atingida pela clusterização foi a de constatar...”
Access document
Master thesis
17
Published 2007
Subjects: “...Object-oriented logic programming...”
Access document
Doctoral thesis
18
Published 2021
“... to insights and bridge communication between life scientists and computer scientists. Python is a programming...”
Access document (1)
Access document (2)
Article
Export CSV Export RIS