检索
高级检索
集群检索
书目浏览
中图分类浏览
科图分类浏览
期刊导航
西文期刊字母导航
学科导航
期刊学科导航
我的图书馆
新书通报
中图分类查看
科图分类查看
图书专题
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=springer%2C&searchType=standard&isFacet=true&view=standard&searchWay=publisher&rows=10&sortWay=score&sortOrder=desc&hasholding=1&f_subject=integrated+circuits&f_subject=computer+software&f_author=cav+%28conference%29&searchWay0=marc&logical0=AND
rows=10&hasholding=1&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
springer,
, 检索到: 7 条结果, 检索时间: 0.02 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
springer,
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(7)
Q 生物科学
(4)
已经限定的分面
馆藏地点:
主题:
integrated circuits
x
computer software
x
著者:
cav (conference)
x
在馆 :
在馆
x
图书馆
武汉理工大学图书馆
(7)
显示更多..
馆藏地点
余区图书保存本库
(7)
显示更多..
主题
[computer software]
(7)
[integrated circuits]
(7)
electronic digital computers
(3)
显示更多..
著者
[cav (conference)]
(7)
alur, rajeev,
(1)
ball, thomas,
(1)
berry, g鈋rard,
(1)
brinksma, ed
(1)
comon, hubert
(1)
damm, werner
(1)
etessami, kousha
(1)
finkel, a
(1)
hermanns, holger,
(1)
hunt, warren a.,
(1)
jones, robert b
(1)
larsen, k. g
(1)
peled, doron,
(1)
rajamani, sriram k.,
(1)
somenzi, fabio
(1)
显示更多..
出版日期
显示更多..
文献类型
图书(纸本)
(7)
显示更多..
语言种类
显示更多..
新到时间
过去7天
(0)
过去30天
(0)
过去60天
(0)
过去90天
(0)
过去180天
(0)
超过180天
(7)
显示更多..
在馆
[ 在馆 ]
(7)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
订购中
著者:
Damm
Werner.
Hermanns
Holger
出版社:
Springer,
出版日期: c2007.
文献类型:
图书(纸本) , 索书号:
TP311-532/C376:19/2007
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
订购中
著者:
Ball
Thomas
Jones
Robert B.
出版社:
Springer,
出版日期: c2006.
文献类型:
图书(纸本) , 索书号:
TP311-532/C376:18/2006
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, U.K., July 6-10, 2005 : proceedings /
订购中
著者:
Etessami
Kousha.
Rajamani
Sriram K.
出版社:
Springer,
出版日期: c2005.
文献类型:
图书(纸本) , 索书号:
TP311-532/C376:17/2005
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /
订购中
著者:
Alur
Rajeev
Peled
Doron
出版社:
Springer,
出版日期: c2004.
文献类型:
图书(纸本) , 索书号:
TP311-532/C376:16/2004
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /
订购中
著者:
Hunt
Warren A.
Somenzi
Fabio.
出版社:
Springer,
出版日期: 2003.
文献类型:
图书(纸本) , 索书号:
TP311-532/C738
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
订购中
著者:
Brinksma
Ed.
Larsen
K. G.
出版社:
Springer,
出版日期: 2002.
文献类型:
图书(纸本) , 索书号:
TP311.51-532/C738
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
订购中
著者:
Finkel
A.
Berry
G鈋rard
Comon
Hubert.
出版社:
Springer,
出版日期: 2001.
文献类型:
图书(纸本) , 索书号:
TP31-532/C738
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>