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

Interval analysis : and automatic result verification
出版社：Berlin ; Boston, [Massachusetts] : De Gruyter, 2017.
ISBN：9783110500639
出版年：2017
作者：Mayer,Günter,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Scientific computing with automatic result verification
  • 作者：Adams,E.
  • ISBN：0120442108
  • 出版社：Boston : Academic Press, Inc., 1993.
  • 出版年：1993
...

Scientific computation with automatic result verification
  • 作者：Kulisch,Ulrich.
  • ISBN：0387820639
  • 出版社：Wien ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Methods and applications of interval analysis
  • 作者：Moore,Ramon E.
  • ISBN：0898711614
  • 出版社：Philadelphia : Siam, 1979.
  • 出版年：1979
...

Topics in interval analysis
  • 作者：Hansen,Eldon R.,
  • ISBN：0198533330
  • 出版社：Oxford : Clarendon Press, 1969.
  • 出版年：1969
...

Introduction to interval analysis
  • 作者：Moore,Ramon E.
  • ISBN：9780898716696
  • 出版社：Philadelphia, PA : Society for Industrial and Applied Mathematics, c2009.
  • 出版年：2009
...

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