登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Types in compilation : third international workshop TIC 2000 Montreal Canada September 21 2000
出版社：
Berlin ; New York : Springer, c2001.
ISBN：
3540421963
出版年：
2001
作者：
Harper,Robert
资源类型：
图书
细分类型：
西文文献
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Types in compilation : Third International Workshop, TIC 2000, Montreal, Canada, Sept. 21, 2000 : re
作者：
TIC 2000
ISBN：
3540421963
出版社：
Berlin ; New York : Springer, c2001.
出版年：
2001
Types for proofs and programs : International Workshop, TYPES 2000, Durham 2000 : selected papers
作者：
TYPES 2000
ISBN：
3540432876
出版社：
Berlin ; New York : Springer-Verlag Berlin Heidelberg, 2002.
出版年：
2002
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, Dec. 8-12, 2000 : se
作者：
International Workshop TYPES 2000
ISBN：
3540432876
出版社：
Berlin ; New York : Springer, c2002.
出版年：
2002
Text, speech and dialogue : Third International Workshop, TSD 2000, Brno, Czech Republic, September
作者：
TSD 2000
ISBN：
3540410422
出版社：
Berlin : Springer, 2000.
出版年：
2000
Information security : third international workshop, ISW 2000, Wollongong, Australia, Dec. 20-21, 20
作者：
Pieprzyk,Josef
ISBN：
3540414169
出版社：
New York : Springer, c2000.
出版年：
2000
Combinatorial pattern matching : 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000
作者：
Giancarlo,Raffaele.
ISBN：
3540676333
出版社：
Berlin : Springer, c2000.
出版年：
2000
×
访问借阅管理系统
问图书管理员
馆际互借