搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2008 叶卡捷琳娜·奥尔 , 安德烈亚斯·劳赫 , 埃伯哈德·P·霍弗 , 沃尔夫拉姆·路德 :
使用SmartMOBILE验证机械系统建模:ValEncIA-IVP改进性能。 实数算法的可靠实现 2008 : 1-27 乔治·F·科里斯 , R.Baker Kearfott先生 , 内迪亚科·内迪亚科夫 , 约翰·普莱斯 , 斯宾塞·史密斯 :
间隔子程序库任务。 实数算法的可靠实现 2008 : 28-43 伊娃·戴龙 :
基于区间的层次对象表示的凸多面体封闭。 实数算法的可靠实现 2008 : 44-56 Ioannis Z.埃米利斯 , 伯纳德·穆兰 , Elias P.Tsigaridas公司 :
实代数数:复杂性分析和实验。 实数算法的可靠实现 2008 : 57-82 塞巴斯蒂安·坎普肯 , 沃尔夫拉姆·路德 :
随机交通建模中的验证方法。 实数算法的可靠实现 2008 : 83-101 布兰尼米尔·兰博夫 :
使用SSE-2的区间算法。 实数算法的可靠实现 2008 : 102-113 文森特·列斐尔 , 达米安·斯特勒 , 保罗·齐默尔曼 :
IEEE 754r十进制64格式中指数函数的最坏情况。 实数算法的可靠实现 2008 : 114-126 多米尼克·米歇鲁奇 , Jean-Michel Moreau女士 , 塞布蒂·福福 :
稳健性和随机性。 实数算法的可靠实现 2008 : 127-148 兰斯·爱德华·米勒 , 爱德华·L·F·摩尔 , 托马斯·彼得斯 , 亚历山大·罗素 :
样条曲线的拓扑邻域:实践与理论。 实数算法的可靠实现 2008 : 149-161 瓦迪姆·夏皮罗 :
公差几何查询的同伦条件。 实数算法的可靠实现 2008 : 162-180 尼尔·F·斯图尔特 , 马利卡·齐达尼 :
实体建模误差分析中井定义的超有限插值。 实数算法的可靠实现 2008 : 181-192 芝麻坑 :
基于EGC的实计算理论。 实数算法的可靠实现 2008 : 193-237 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
《实数算法的可靠实现:理论与实践》,德国达格斯图尔城堡国际研讨会,2006年1月8日至13日,修订论文。 计算机科学课堂讲稿 5045, 施普林格 2008 ,国际标准图书编号 978-3-540-85520-0 [目录]