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

Runtime verification : 9th international workshop RV 2009 Grenoble June 26-28 2009. selected pap
出版社：Berlin ; New York : Springer, c2009.
ISBN：9783642046933
出版年：2009
作者：RV 2009
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Model checking software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009 : pro
  • 作者：International SPIN Workshop
  • ISBN：9783642026515
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - J
  • 作者：CAV 2009
  • ISBN：9783642026577
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : sele
  • 作者：RV 2008
  • ISBN：9783540892465
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

2009 9th IEEE Conference on Nanotechnology (IEEE-NANO 2009) : Genoa, Italy, 26-30 July 2009.
  • 作者：IEEE Conference on Nanotechnology
  • ISBN：9781424448326
  • 出版社：Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2009.
  • 出版年：2009
...

Web engineering : 9th international conference, ICWE 2009, San Sebastián, Spain, June 24-26 2009 :
  • 作者：ICWE 2009
  • ISBN：9783642028175
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

9th International Symposium on Supercritical Fluids 2009 : Arcachon, France, 18-20 May 2009.
  • 作者：International Symposium on Supercritical Fluids
  • ISBN：9781615675340
  • 出版社：Nancy Cedex, France : International Society for the Advancement of Supercritical Fluids, 2009.
  • 出版年：2009