Skip to Content
STAX
Toggle navigation
STAX
Iniciar sesión
Inicio
Acerca de
Ayuda
Contacto
Buscar en STAX
Ir
Buscar
Borrar filtros
Filtrado por:
Contribuyente
Crockett, Louise
Eliminar la restricciónContribuyente: Crockett, Louise
Fecha
2023
Eliminar la restricciónFecha: 2023
1
entrada encontrado
Ordenar por relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
El número de resultados a 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 por:
Lista
Gallery
Slideshow
Resultados de la búsqueda
1.
Toatie : functional hardware description with dependent types
Creador:
Ramsay, Craig
Fecha:
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
Limite su búsqueda
Tipo
Thesis
1
Tipo de recurso
Doctoral thesis
1
Creador
Ramsay, Craig
1
Contribuyente
Crockett, Louise
[remove]
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
1
Financiador
Engineering and Physical Sciences Research Council
1
Departamento, Escuela o Facultad
Department of Electronic and Electrical Engineering
1
Faculty of Engineering
1
Software Defined Radio Research Laboratory
1
Fecha
2023
[remove]
1