Search alternatives:
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
check program » cheio program (Expand search), checklist program (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder using » coders using (Expand search), cover using (Expand search), code using (Expand search)
using check » using chest (Expand search), using chicken (Expand search), using cheese (Expand search)
Showing 1 - 20 results of 41 for search '(( coder coder using check program ) OR ( monty python python python programming ))', query time: 0.65s Refine Results
6
Published 2025
Subjects: “...Python (Computer program language)...”
Access document
Master thesis
8
Published 2012
“...0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir...”
Access document
Master thesis
9
Published 2012
“...0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir...”
Access document
Master thesis
10
Published 2013
“..., in order to check if the building fulfills thermal Portuguese codes and to perform energy simulations with...”
Access document
11
Published 2016
“... to assembly code for a specific platform by using a formal model of the instruction set, which also allows...”
Access document
Doctoral thesis
12
Published 2015
“...This article presents a semantics-based program verification framework for critical embedded real...”
Access document (1)
Access document (2)
Article
13
Published 2022
Subjects: “...Logic programming...”
Access document
14
Published 2013
“... essa metodologia no ensino da disciplina, sem comprometer em momento algum o conteÃdo do programa. O reconhecimento...”
Access document
Master thesis
15
Published 2007
“... obtidospelo programa desenvolvido. Para um conjunto de amostras foram comparados osvalores suavizados gerados...”
Access document
Article
17
Published 2014
Subjects: “...Aspect-oriented programming...”
Access document
Doctoral thesis
18
Published 2011
“...ÃÃo nÃo linear geomÃtrica pelo MÃtodo de Elementos finitos usando um programa em C++. O modelo de otimiza...”
Access document
Master thesis
19
Published 2014
“...Refatoramento é uma transformação aplicada a um programa para melhorar suas qualidades internas...”
Access document
Master thesis
20
Published 2014
“...Refatoramento é uma transformação aplicada a um programa para melhorar suas qualidades internas...”
Access document
Master thesis
Export CSV Export RIS