Buscas alternativas:
model implementations » module implementation (Expandir a busca), dsm implementations (Expandir a busca), and implementation (Expandir a busca)
implementations logic » implementation policy (Expandir a busca), implementations of (Expandir a busca), implementation of (Expandir a busca)
model implementations » module implementation (Expandir a busca), dsm implementations (Expandir a busca), and implementation (Expandir a busca)
implementations logic » implementation policy (Expandir a busca), implementations of (Expandir a busca), implementation of (Expandir a busca)
1
Assuntos:
“...Agent programming...”
Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages
Tese
2
3
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
4
Assuntos:
“...Arranjo de lógica programável em campo...”
Geração automática de aceleradores de domínio específico em FPGA
Tese
5
Assuntos:
“...Engenharia Dirigida por Modelos...”
Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações.
Tese
6
Assuntos:
“...Modelos em tempo de execução...”
Modelos em tempo de execução para redes definidas por software auto-adaptáveis
Tese
7
Assuntos:
“...Generic programming (Computer science)...”
Framework PON C++ 4.0: contribuição para a concepção de aplicações no paradigma orientado a notificações por meio de programação genérica
Dissertação
8
Assuntos:
“...Arranjos de lógica programável em campo...”
Contribuição para o desenvolvimento de uma arquitetura de computação própria ao paradigma orientado a notificações
Tese