中文文献库 - 馆藏 返回前一页
FORMATS 2005 (3rd : 2005 : Uppsala, Sweden).
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).
Berlin ; New York : Springer, c2005.
 
地点   中科院文献情报中心 ; 四层西文自科图书区 ; 73.968083 ; F724
Electronic Location   http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3829 ; { Connect to resource online } 
  http://www.loc.gov/catdir/enhancements/fy0663/2005937088-d.html ;  
 
点击链接("请求" 或者 "复印") 为单册建立一个预约请求或复印请求。
点击带下划线的应还日期， 查看借阅此单册的读者的详细信息。

选择年份 选择卷 选择分馆 隐藏已外借的单册
No Previous Page No Next Page

  描述 单册状态 应还日期 分馆 馆藏地 架位 请求数 条码 OPAC注释 SFX
预约
详细
 2005 西文文献 在架上 中科院文献情报中心 四层西文自科图书区 73.968083 /F724 /2005
WB233327

No Previous Page No Next Page
中国科学院文献情报中心 | 国家科技图书文献中心 | 中国科学院院网 | 国内外大型图书馆 |
| 隐私声明|服务声明| 版权声明| 合理使用声明|京ICP备05002861号| 京公网安备11010802041433号
版权所有© 2013 中国科学院文献情报中心
地址：北京中关村北四环西路33号 邮政编码：100190