Accuracy Verification Methods

EISBN:9789400775817
PISBN:9789400775800
出版社:Springer Netherlands
出版类型:Monograph
出版时间:2014
作者:Olli Mali,Pekka Neittaanmäki,Sergey Repin
主题词:Numeric Computing,Computational Science and Engineering,Numerical Analysis,Numerical and Computational Physics,Computational Intelligence
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Symbolic Algebraic Methods and Verification Methods

  • 作者:Götz Alefeld,Jiří Rohn,Siegfried Rump,Tetsuro Yamamoto
  • EISBN:9783709162804
  • 出版社:Springer Vienna
  • 出版时间:2001

Symbolic Algebraic Methods and Verification Methods

  • 作者:Götz Alefeld,Jiri Rohn,Siegfried Rump,Tetsuro Yamamoto
  • EISBN:9783709162804
  • 出版社:Springer Vienna
  • 出版时间:2001

Surface Modeling : High Accuracy and High Speed Methods

  • 作者:Yue,Tian-Xiang
  • EISBN:9781439817599
  • 出版社:Taylor & Francis Group
  • 出版时间:2011-02-04

Leveraging Applications of Formal Methods, Verification and Validation. Verification

  • 作者:Tiziana Margaria,Bernhard Steffen
  • EISBN:9783030034214
  • 出版社:Springer International Publishing
  • 出版时间:2018

Correct Hardware Design and Verification Methods

  • 作者:Daniel Geist,Enrico Tronci
  • EISBN:9783540397243
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Correct Hardware Design and Verification Methods

  • 作者:Tiziana Margaria,Tom Melham
  • EISBN:9783540447986
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001