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

Scientific computation with automatic result verification
出版社：Wien ; New York : Springer-Verlag, c1988.
ISBN：0387820639
出版年：1988
作者：Kulisch,Ulrich.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Interval analysis : and automatic result verification
  • 作者：Mayer,Günter,
  • ISBN：9783110500639
  • 出版社：Berlin ; Boston, [Massachusetts] : De Gruyter, 2017.
  • 出版年：2017
...

Automatic digital computation
  • 出版社：London : Her Majesty''s Stationery office, 1955
  • 出版年：1955
...

Automatic degital computation.
  • 作者：International Symposium on Automatic Digital Computation
  • 出版社：London : H. M. S. O., 1954.
  • 出版年：1954
...

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

Handbook for automatic computation.
  • 作者：Wilkinson,J.H.,
  • 出版社：Berlin : Springer, 197 -