Buscas alternativas:
parallelism index » parallelism and (Expandir a busca), parallelism in (Expandir a busca), parallelism on (Expandir a busca)
model programming » modern programming (Expandir a busca), modular programming (Expandir a busca), goal programming (Expandir a busca)
parallelism index » parallelism and (Expandir a busca), parallelism in (Expandir a busca), parallelism on (Expandir a busca)
model programming » modern programming (Expandir a busca), modular programming (Expandir a busca), goal programming (Expandir a busca)
1
Assuntos:
“...Model checking...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação
2
Assuntos:
“...Quantum Programming Languages...”
Structuring general and complete quantum computations in Haskell : the arrows approach
Tese