×

找到17个文档(结果1-17)

用于验证计算的库、工具和交互系统—四个案例研究。 (英语) Zbl 1126.65329号

Alt,René(编辑)等人,《数值软件与结果验证》。国际达格斯图尔研讨会,达格斯图城堡,德国,2003年1月19日至24日。修订论文。柏林:施普林格出版社(ISBN 3-540-2126-4/pbk)。计算机科学课堂讲稿299136-63(2004)。
MSC公司:65日元 65G20个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份