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

Ultrasonics International 91 : Le Touquet France 1-4 July 1991 : conference proceedings.
出版社：Oxford : Butterworth-Heinemann, c1991.
ISBN：0408054182
出版年：1991
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computer aided verification : 3rd international workshop, CAV ''91, Aalborg, Denmark, July 1-4, 1991
  • 作者：Larsen,K. G.
  • ISBN：3540551794
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992
...

2007 IEEE International SOI Conference : Indian Wells, CA, 1-4 October 2007 : proceedings.
  • 作者：IEEE International SOI Conference
  • ISBN：1424408792
  • 出版社：Piscataway, N.J. : IEEE, c2007.
  • 出版年：2007
...

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020
  • 作者：IJCAR 2020
  • ISBN：9783030510534
  • 出版社：Cham : Springer, 2020.
  • 出版年：2020
...

Web engineering : 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014 : proce
  • 作者：ICWE 2014
  • ISBN：9783319082448
  • 出版社：Cham : Springer, 2014.
  • 出版年：2014
...

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020
  • 作者：IJCAR 2020
  • ISBN：9783030510732
  • 出版社：Cham : Springer, 2020.
  • 出版年：2020
...

The International Conference on Dependable Systems and Networks : proceedings : 1-4 July 2001, Göte
  • 作者：International Conference on Dependable Systems and Networks
  • ISBN：0769511015
  • 出版社：Los Alamitos, Calif. : IEEE, c2001.
  • 出版年：2001