Buscas alternativas:
"circuits" » "circuitos" (Expandir a busca), "circuito" (Expandir a busca), "circuit" (Expandir a busca)
"circuits" » "circuitos" (Expandir a busca), "circuito" (Expandir a busca), "circuit" (Expandir a busca)
1
Assuntos:
“...Circus...”
Um verificador de modelos em K para um subconjunto da linguagem Circus
Dissertação
2
3
5
6
7
“... e concorrência, tal como CSP. Circus é uma linguagem de especificação, projeto e programação que combina Z e CSP...”
Definição e implementação do sistema de tipos da linguagem circus
Dissertação
8
Assuntos:
“...Circus...”
JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Dissertação
9
10
11
12
13
“... electrical energy, which is partially dissipated in an electrical circuit. Among the circuits proposed over...”
Piezoelectric shunt damping using adaptive resonant circuits
Tese
14
Assuntos:
“...Credal probabilistic circuits...”
Qualitative global sensitivity analysis for probabilistic circuits
Tese
15
16
Assuntos:
“...Asynchronous Circuits...”
Pulsar : towards a synthesis flow for QDI circuits
Dissertação
17
“...The verification process of modern integrated circuits (ICs) is a complex and time-consuming task...”
ALIAS: analog circuits abstraction for digital systems verification
Dissertação
18
Assuntos:
“...Radiation-hardened circuits...”
Transistor level automatic generation of radiation-hardened circuits
Tese
20
Assuntos:
“...Topological quantum circuits...”
Random braid gates for topological quantum circuits
Dissertação