登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016) : Kongens Lyn
出版社：Piscataway, N.J. : IEEE, 2016.
ISBN：9781509038268
出版年：2016
作者：International Symposium on Temporal Representation and Reasoning
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

12th International Symposium on Temporal Representation and Reasoning : Time 2005 : 23-24 June 2005,
  • 作者：International Symposium on Temporal Representation and Reasoning
  • ISBN：0769523706
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 2005.
  • 出版年：2005
...

Eighth International Symposium on Temporal Representation and Reasoning : TIME 2001 : proceedings :
  • 作者：International symposium on Temporal Representation and Reasoning
  • ISBN：0769511074
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2001.
  • 出版年：2001
...

2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME 2011) : Lubec
  • 作者：International Symposium on Temporal Representation and Reasoning
  • ISBN：9781457712425
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2011.
  • 出版年：2011
...

Model checking software : 23rd International Symposium, SPIN 2016 co-located with ETAPS 2016 : Eindh
  • 作者：International SPIN Workshop
  • ISBN：9783319325811
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning and Fourth In
  • 作者：International Symposium on Temporal Representation and Reasoning
  • ISBN：0769519121
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c2003.
  • 出版年：2003
...

2016 IEEE 23rd International Symposium on the Physical and Failure Analysis of Integrated Circuits (
  • 作者：International Symposium on the Physical & Failure Analysis of Integrated Circuits
  • ISBN：9781467382601
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016