登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Computer Arithmetic and Formal Proofs
PISBN：9781785481123
出版时间：2018
作者：Boldo,Sylvie
主题词：Mathematics 2018
语种：英语
所属数据库：Elsevier电子图书
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Computer Arithmetic
  • 作者：George,F. H.
  • PISBN：9780080114637
  • 出版时间：Legacy
...

Computer Arithmetic
  • 作者：Mircea Vlăduţiu
  • EISBN：9783642183157
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2012
...

Computer Arithmetic in Theory and Practice
  • 作者：Kulisch,Ulrich W.
  • PISBN：9780124286504
  • 出版时间：Legacy
...

Computer Aided Proofs in Analysis
  • 作者：Kenneth R. Meyer,Dieter S. Schmidt
  • EISBN：9781461390923
  • 出版社：Springer New York
  • 出版时间：1991
...

Computer Aided Proofs in Analysis
  • 作者：Kenneth R. Meyer,Dieter S. Schmidt
  • EISBN：9781461390923
  • 出版社：Springer New York
  • 出版时间：1991
...

VHDL for Simulation, Synthesis and Formal Proofs of Hardware
  • 作者：Jean Mermet
  • EISBN：9781461535621
  • 出版社：Springer US
  • 出版时间：1992