Skip to Content
STAX
Toggle navigation
STAX
Entrar
Página Principal
Sobre
Ajuda
Contato
Pesquisar STAX
Ir
Busca
Remover filtros
Filtragem por:
O Criador
Ramsay, Craig
Remover O Criador: Ramsay, Craig
Encontro
2023
Remover Encontro: 2023
1
para
1
de
1
Ordenar por relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Número de resultados para mostrar por página
10 por página
10
por página
20
por página
50
por página
100
por página
Ver resultados como:
Lista
Gallery
Slideshow
Resultados da Busca
Toatie : functional hardware description with dependent types
O Criador:
Ramsay, Craig
Encontro:
2023
Funder:
Engineering and Physical Sciences Research Council
Department, School or Faculty:
Software Defined Radio Research Laboratory, Department of Electronic and Electrical Engineering, and Faculty of Engineering
Toggle facets
Filtre sua busca
Tipo
Thesis
1
Tipo de recurso
Doctoral thesis
1
O Criador
Ramsay, Craig
[remove]
1
Contribuinte
Crockett, Louise
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
1
Financiador
Engineering and Physical Sciences Research Council
1
Departamento, escola ou faculdade
Department of Electronic and Electrical Engineering
1
Faculty of Engineering
1
Software Defined Radio Research Laboratory
1
Encontro
2023
[remove]
1