登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Types in compilation : Third International Workshop TIC 2000 Montreal Canada Sept. 21 2000 : re
出版社：
Berlin ; New York : Springer, c2001.
ISBN：
3540421963
出版年：
2001
作者：
TIC 2000
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000
作者：
Harper,Robert
ISBN：
3540421963
出版社：
Berlin ; New York : Springer, c2001.
出版年：
2001
2000 IEEE International Workshop on Factory Communication Systems : 6-8 Sept., 2000, ISEP, Porto, Po
作者：
IEEE International Workshop on Factory Communication Systems
ISBN：
0780365003
出版社：
Piscataway, N.J. : IEEE, c2000.
出版年：
2000
Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, Sept.
作者：
CCA 2000
ISBN：
0387950559
出版社：
Berlin : Springer, c2001.
出版年：
2001
Fifth International Workshop on Computer Architectures for Machine Perception, Sept. 11-13, 2000, Pa
作者：
IEEE International Workshop on Computer Architectures for Machine Perception
ISBN：
0769507409
出版社：
Los Alamitos, Calif. : IEEE Computer Society, c2000.
出版年：
2000
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
×
访问借阅管理系统
问图书管理员
馆际互借