Skip to Content
STAX
Toggle navigation
STAX
Accesso
Casa
Di
Aiuto
contatto
Cerca STAX
Partire
Ricerca
Cancellare i filtri
Filtro per:
Collaboratore
Stewart, Bob
Cancella il filtro Collaboratore: Stewart, Bob
Data
2023
Cancella il filtro Data: 2023
1
termine di ricerca trovato
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Slideshow
Risultati della ricerca
1.
Toatie : functional hardware description with dependent types
Creatore:
Ramsay, Craig
Data:
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
Affina la ricerca
genere
Thesis
1
Tipo di risorsa
Doctoral thesis
1
Creatore
Ramsay, Craig
1
Collaboratore
Crockett, Louise
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
[remove]
1
Funder
Engineering and Physical Sciences Research Council
1
Dipartimento, Scuola o Facoltà
Department of Electronic and Electrical Engineering
1
Faculty of Engineering
1
Software Defined Radio Research Laboratory
1
Data
2023
[remove]
1