Skip to Content
STAX
Toggle navigation
STAX
登录
首页
关于
帮助
联系
搜索 STAX
转到
搜索条件
清除筛选
筛选:
贡献者
Stewart, Bob
删除限定条件 贡献者: Stewart, Bob
创造者
Ramsay, Craig
删除限定条件 创造者: Ramsay, Craig
找到
1
条目
按 relevance 排序
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
每页显示结果数
10 每页
10
每页
20
每页
50
每页
100
每页
以如下方式察看搜索结果:
列表
图片式展示
幻灯式展示
搜索结果
Toatie : functional hardware description with dependent types
创造者:
Ramsay, Craig
日期:
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
限定搜索
类型
Thesis
1
资源类型
Doctoral thesis
1
创造者
Ramsay, Craig
[remove]
1
贡献者
Crockett, Louise
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
[remove]
1
出资者
Engineering and Physical Sciences Research Council
1
部门,学校或学院
Department of Electronic and Electrical Engineering
1
Faculty of Engineering
1
Software Defined Radio Research Laboratory
1
日期
2023
1