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

Numerical software verification : 12th International Workshop NSV 2019 New York City NY USA Jul
出版社：Cham, Switzerland : Springer, 2019.
ISBN：9783030284220
出版年：2019
作者：NSV 2019
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
  • 作者：CAV 2019
  • ISBN：9783030255398
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
  • 作者：CAV 2019
  • ISBN：9783030255428
  • 出版社：Cham, Switzerland : SpringerOpen, 2019.
  • 出版年：2019
...

Fast software encryption : 7th international workshop, FSE 2000, New York, NY, USA, April 10-12, 200
  • 作者：FSE 2000
  • ISBN：3540417281
  • 出版社：Berlin ; London : Springer, c2001.
  • 出版年：2001
...

Algorithms and data structures : 12th international symposium, WADS 2011, New York, NY, USA, August
  • 作者：WADS 2011
  • ISBN：9783642222993
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 2
  • 作者：NSV 2017
  • ISBN：9783319635002
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17
  • 作者：NSV 2016
  • ISBN：9783319542911
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017