• Scientific computing with automatic result verification
  • 紀錄類型: 書目-電子資源 : 單行本
    正題名/作者: Scientific computing with automatic result verification/ edited by E. Adams, U. Kulisch.
    其他作者: Adams, Ernst.
    出版者: Boston :Academic Press, : c1993.,
    面頁冊數: 1 online resource (x, 612 p.)
    標題: Electronic data processing. -
    電子資源: http://www.sciencedirect.com/science/book/9780120442102
    ISBN: 9780120442102 (electronic bk.)
多媒體
評論
Export
取書館別
 
 
變更密碼
登入