Skip to Content

STAX

STAX

Login

Home
About
Help
Contact

Search STAX

Search Constraints

Start Over

Filtering by: Contributor Crockett, Louise Remove constraint Contributor: Crockett, Louise Funder Engineering and Physical Sciences Research Council Remove constraint Funder: Engineering and Physical Sciences Research Council

1 entry found

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Slideshow

Search Results

Select an image to start the slideshow

Toatie : functional hardware description with dependent types

1 of 1

Limit your search

Type

Thesis1

Resource type

Doctoral thesis1

Creator

Ramsay, Craig1

Contributor

Crockett, Louise[remove]1
Engineering and Physical Sciences Research Council1
Stewart, Bob1

Funder

Engineering and Physical Sciences Research Council[remove]1

Department, School or Faculty

Department of Electronic and Electrical Engineering1
Faculty of Engineering1
Software Defined Radio Research Laboratory1

Date

20231

Brought to your by CoSector - University of London. Brought to you by CoSector - University of London

STAX v3.3.0

Copyright © 2021 Samvera Licensed under the Apache License, Version 2.0