检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
个人首页
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=ed+brinksma&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Ed Brinksma
, 检索到: 2 条结果, 检索时间: 0.032 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Ed Brinksma
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(2)
您是不是想检索:
Ed Brinksma,et al.
图书馆
湖南大学图书馆
(2)
显示更多..
馆藏地点
显示更多..
主题
显示更多..
著者
brinksma,ed
(1)
brinksma,ed,et al
(1)
conference on computer aided verification(14th:2002:copenhagen,denmark)
(1)
eef summerschool on formal methods and performance analysis(1st:2000:berg en dal,the netherlands)
(1)
larsen,kim guldstrand
(1)
显示更多..
出版日期
显示更多..
文献类型
图书
(2)
显示更多..
语言种类
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Computer aided verification: 14th international conference,CAV 2002,Copenhagen,Denmark,July 27-31,2002:proceedings
订购中
(含光盘)
著者:
Ed Brinksma
Kim Guldstrand Larsen
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
73.9971083/CAV-14
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Lectures on formal methods and performance analysis: 1st EEF/Euro Summer School on Trends in Computer Science,Berg en Dal,The Netherlands,July 3-7,2000
订购中
(含光盘)
著者:
Ed Brinksma
et al.
出版社:
Springer
出版日期: 2001
文献类型:
图书 , 索书号:
73.924083/FMP-1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>