返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
TP31-53
共有
31
条记录
共耗时[0.000]秒
页码：
1
/
4
每页显示：
10
记录
9
1
2
3
4
:
跳转：
Proceedings /
:
作者：
出版社：
Computer Society Press of the IEEE,
出版时间：
1987
ISBN：
0-8186-0800-5
索书号：
TP31-53/7
分类号：
TP31-53
页数：
xi, 203 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Workshop report /
:
作者：
出版社：
IEEE Computer Society Press ;
出版时间：
1983
ISBN：
0-8186-8493-3
索书号：
TP31-53/13
分类号：
TP31-53
页数：
vi, 176 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
15th asilomar conference on circuits, systems and computers 1981/.
:
作者：
出版社：
Ieee computer society,
出版时间：
1981
ISBN：
索书号：
TP31-53/22
分类号：
TP31-53
页数：
ix, 500 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
1984 International Symposium on Logic Programming /
:
作者：
出版社：
IEEE Computer Society Press,
出版时间：
1984
ISBN：
0-8186-0522-7
索书号：
TP31-53/3
分类号：
TP31-53
页数：
xi, 311 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
1984 International Symposium on circuits and systems proceedings
:
作者：
出版社：
IEEE Computer Society Press ;
出版时间：
1984
ISBN：
索书号：
TP31-53/14
分类号：
TP31-53
页数：
xi, 311 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Automata,languages and programm/
:Brauer,W.
作者：
Brauer,W.
出版社：
Springer-verlag,
出版时间：
1985
ISBN：
3-540-15650-X
索书号：
TP31-53/21
分类号：
TP31-53
页数：
519
价格：
8.5
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Computer-aided specification techniques /
:Demetrovics, Jn?os.
作者：
Demetrovics, Jn?os.
出版社：
World Scientific,
出版时间：
1985
ISBN：
9971-978-53-9
索书号：
TP31/87
分类号：
TP31
页数：
ix, 114 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Conference on Software Tools :: April 15-17, 1985, New York, New York /
:
作者：
出版社：
IEEE Computer Society Press ;
出版时间：
1985
ISBN：
0-8186-4628-4
索书号：
TP31-53/6
分类号：
TP31-53
页数：
xiii, 251 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Conference on software maintenance 1991 :: proceedings, Oct. 15-17, 1991, Sorrento, Italy /
:
作者：
出版社：
IEEE Computer Society Press,
出版时间：
1991
ISBN：
0-8186-2325-X
索书号：
TP31-53/8
分类号：
TP31-53
页数：
xi, 276 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Logics of Programs :: workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
:
作者：
出版社：
Springer-Verlag,
出版时间：
1984
ISBN：
0-387-12896-4
索书号：
TP31-53/1
分类号：
TP31-53
页数：
vi, 527 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
缩小检索范围
文献类型
西文图书
(
28
)
中文图书
(
3
)
出版社
IEEE Computer Society Press ;
(
5
)
IEEE Computer Society Press,
(
5
)
Springer-Verlag,
(
4
)
IEEE Computer Society Pr.,
(
2
)
IEEE Computer Society,
(
2
)
Association for Computing Machinery,
(
1
)
Computer Society Press of the IEEE,
(
1
)
IEEE Company Society Press
(
1
)
IEEE,
(
1
)
Ieee computer society,
(
1
)
Institute of Electrical and Electronics Engineers,
(
1
)
North Holland Pub. Co. ;
(
1
)
North-Holland Pub. Co.,
(
1
)
Springer-verlag,
(
1
)
World Scientific,
(
1
)
机械工业出版社
(
1
)
武汉市科学技术情报研究所
(
1
)
电子工业出版社
(
1
)
只显示前10条......
IEEE Computer Society Press ;
(
5
)
IEEE Computer Society Press,
(
5
)
Springer-Verlag,
(
4
)
IEEE Computer Society Pr.,
(
2
)
IEEE Computer Society,
(
2
)
Association for Computing Machinery,
(
1
)
Computer Society Press of the IEEE,
(
1
)
IEEE Company Society Press
(
1
)
IEEE,
(
1
)
Ieee computer society,
(
1
)
查看更多信息......
作者
Arnold,R.S.
(
1
)
Brauer,W.
(
1
)
Demetrovics, Jn?os.
(
1
)
梅宏, 王千祥
(
1
)
董越
(
1
)
陈明亮,杨 ting, 杨ting, 陈明亮
(
1
)
只显示前10条......
Arnold,R.S.
(
1
)
Brauer,W.
(
1
)
Demetrovics, Jn?os.
(
1
)
梅宏, 王千祥
(
1
)
董越
(
1
)
陈明亮,杨 ting, 杨ting, 陈明亮
(
1
)
查看更多信息......
出版年
1984
(
7
)
1985
(
7
)
1983
(
4
)
1980
(
2
)
1987
(
2
)
1978
(
1
)
1981
(
1
)
1982
(
1
)
1986
(
1
)
1990
(
1
)
1991
(
1
)
1992
(
1
)
2002
(
1
)
2012
(
1
)
只显示前10条......
1984
(
7
)
1985
(
7
)
1983
(
4
)
1980
(
2
)
1987
(
2
)
1978
(
1
)
1981
(
1
)
1982
(
1
)
1986
(
1
)
1990
(
1
)
查看更多信息......
TP31-53
共有
31
条记录
共耗时[0.000]秒
页码：
1
/
4
每页显示：
10
记录
9
1
2
3
4
:
跳转：