Följ
Vaston Gonįalves da Costa
Vaston Gonįalves da Costa
Pontifícia Universidade Catķlica do Rio de Janeiro, PUC-Rio, Universidade Federal de Goiás,
Verifierad e-postadress på ufg.br
Titel
Citeras av
Citeras av
År
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158, 645-658, 2009
142009
Construįão e adaptaįão do projeto APOLOBVM: relato de experięncia de criaįão de metodologia de ensino através de ferramentas tecnolķgicas e inovadoras em tempos de pandemia de …
MS Andrade, LPG De Melo, ASP Sadoyama, G Sadoyama, PH Tomás, ...
Humanidades e Tecnologia (FINOM) 25 (1), 219-238, 2020
32020
Domķtica: Uma soluįão para a vida moderna–Automaįão residencial com controle via web
MH Stoppa, LFE Martinez, JS Borges, EA da Silva Júnior, VG da Costa
Revista CEPPG-CESUC-Centro de Ensino Superior de Catalão, 2013
32013
Uso da Robķtica Educacional no Ensino Fundamental: Um estudo de caso preliminar
GQ Pereira, VG Costa
UFG, 2010
32010
A discussion on compressing proofs through proof-theoretical techniques
EH Haeusler, VG da Costa
Christiano Braga (Ed.), 2012
12012
Emprego de técnicas geométricas em sistemas embarcados para auxiliar pequenos produtores rurais
LR Mundim, MH Stoppa, AM Rocha, VG da Costa
34o Congresso Nacional de Matemática Aplicada e Computacional, 2012
12012
Criptografia em hardware com VHDL usando circuitos FPGA× criptografia em software
AA Almeida, VG Costa
12010
Aplicaįão de lķgica descritiva para documentaįão e validaįão de requisitos em spl
FA Nķbrega, VG da Costa, LL Lobato
ENACOMP Encontro Anual de Computaįão 1, 2010
12010
CompactaįãO de Provas lķGicas.
VG da Costa
Pontifical Catholic University of Rio de Janeiro, Brazil, 2007
12007
Emprego de análise formal no processo de gerenciamento de habilidades
LG Dias, VG da Costa
Tecnologias em pesquisa: cięncias exatas e biolķgicas 1 (1), 147-154, 2017
2017
Gestão, Formalismos e Desenvolvimento de Software-Uma Análise Acerca Das Produįões Brasileiras
LG Dias, VG da Costa
Blucher Education Proceedings 2 (1), 88-95, 2017
2017
LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear
C Dantas, VG da Costa
Anais dos Workshops do Congresso Brasileiro de Informática na Educaįão 5 (1 …, 2016
2016
10.10 Computation
VG da Costa, EH Haeusler, MQ Cruz, J de Barros Santos
Handbook of the 5th World Congress and School on Universal Logic, 262, 2015
2015
NP system and Mimp-graph association
VG da Costa, EH Haeusler, MQ Cruz, J de Barros Santos
Handbook of the 5th World Congress and School on Universal Logic, 346, 2015
2015
Some Remarks on the size of Boolean Functions
VG da Costa, ES Laber, EH Haeusler
PUC, 2004
2004
Physical computational by manifolds
EH Haeusler, VG da Costa
BOOK OF ABSTRACTS LIVRO DE RESUMOS, 125, 0
SIMULAĮÃO COMPUTACIONAL POR ELEMENTOS FINITOS E VALIDAĮÃO EXPERIMENTAL DE TUBOS DE PVC SOLICITADOS Ā FLEXÃO
LR da Silva Souza, NS dos Santos, CN Pereira, VG da Costa, MH Stoppa
Verificaįão formal de sistemas digitais embarcados
N de Souza Silva, VG da Costa, MH Stoppa
ANÁLISE ESTÁTICA LINEAR DE VIGA LAMINADA DE PVDF STATIC ANALYSIS OF LINEAR BEAM OF LAMINATED PVDF
DM Santee, HY Fuchigami, MH Stoppa, MN Rabelo, ...
Uso do algoritmo Diffie-Hellman na geraįão de keyfile para o TrueCrypt
RM Pires, VG Costa
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20