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

Numerical validation in current hardware architectures : International Dagstuhl Seminar Dagstuhl Ca
出版社：Berlin ; New York : Springer, c2009.
ISBN：9783642015908
出版年：2009
作者：Cuyt,Annie,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germa
  • 作者：Alt,René.
  • ISBN：3540212604
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

Software engineering for self-adaptive systems III : assurances : International Seminar, Dagstuhl Ca
  • 作者：Lemos,Rogério de,
  • ISBN：9783319741826
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Model-based engineering of embedded real-time systems : International Dagstuhl Workshop, Dagstuhl Ca
  • 作者：Giese,Holger.
  • ISBN：9783642162763
  • 出版社：Berlin ; New York : Springer, 2010.
  • 出版年：2010
...

Entertainment computing and serious games : International GI-Dagstuhl Seminar 15283, Dagstuhl Castle
  • 作者：International GI-Dagstuhl Seminar
  • ISBN：9783319461519
  • 出版社：Cham, Switzerland : Springer, 2016.
  • 出版年：2016
...

Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle,
  • 作者：Schilder,Frank.
  • ISBN：9783540759881
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Video processing and computational video : international seminar, Dagstuhl Castle, Germany, October
  • 作者：Cremers,Daniel.
  • ISBN：9783642248696
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011