检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
个人首页
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=January+2002&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&curlibcode=HNU&searchWay0=marc&logical0=AND
rows=10&curlibcode=HNU&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
January 2002
, 检索到: 6 条结果, 检索时间: 0.022 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
January 2002
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(6)
已经限定的分面
图书馆:
湖南大学图书馆
x
馆藏地点:
图书馆
院系分馆
湖南大学图书馆联合目录
[湖南大学图书馆]
显示更多..
馆藏地点
显示更多..
主题
显示更多..
著者
chong,ilyoung
(2)
annual workshop on algorithm engineering and experiments(4th:2002:san francisco,ca)
(1)
bert,didier,et al
(1)
cortesi,agostino
(1)
international conference of b and z users(2nd:grenoble,france)
(1)
international conference on information networking(2002:cheju island,korea)
(1)
international symposium on practical aspects of declarative languages(4th:2002:portland,or)
(1)
international workshop on verification,model checking,and abstract interpretation(3rd:2002:venise,italy)
(1)
internatonal conference on information networking(2002:cheju island,korea)
(1)
krishnamurthi,shriram
(1)
mount,david m
(1)
ramakrishnan,c.r
(1)
stein,clifford
(1)
显示更多..
出版日期
显示更多..
文献类型
图书
(6)
显示更多..
语言种类
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Practical aspects of declarative languages: 4th international symposium,PADL 2002,Portland,OR,USA,January 19-20,2002:Proceedings
订购中
(含光盘)
著者:
Shriram Krishnamurthi
C.R.Ramakrishnan
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
TP312-53/PAD-4
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Information networking:wired communications and management,part 1: International Conference,ICOIN 2002,Cheju Island,Korea,January 30-February 1,2002
订购中
(含光盘)
著者:
Ilyoung Chong
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
TN915-53/ICO-2002-1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Algorithm engineering and experiments: 4th international workshop,ALENEX 2002,San Francisco,CA,USA,January 4-5,2002,Revised Papers
订购中
(含光盘)
著者:
David M.Mount
Clifford Stein
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
TP301.6-53/ALE-4
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Verification,model checking,and abstract interpretation: 3rd international workshop,VMCAI 2002,Venice,Italy,January 21-22,2002
已借2次.
订购中
(含光盘)
著者:
Agostino Cortesi
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
73.9935083/VMC-3
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Information networking:wireless communications technologies and network applications: International Conference,ICOIN 2002,Cheju Island,Korea,January 30-February 1,2002,part 2
订购中
(含光盘)
著者:
Ilyoung Chong
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
TN915-53/ICO-2002-2
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
ZB 2002:formal specification and development in Z and B: 2nd international conference of B and Z Users,Grenoble,France,January 23-25,2002:proceedings
订购中
(含光盘)
著者:
Didier Bert
et al.
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
TP30-53/ZB-2
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>