×

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

通过小域实例化确定等式公式。 (英语) Zbl 1046.68605号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。票据计算。科学。1633, 455-469 (1999).
MSC公司:第68季度第60季度 68吨15 03B25号
PDF格式BibTeX公司 XML格式引用

误差估计和模型选择(Diss.,TU Berlin)。 (英语) Zbl 0981.68001号

DISKI公司-论文:《昆士提琴情报》。225.阿姆斯特丹:IOS出版社。圣奥古斯丁:中缀。第126页(1999年)。
MSC公司:68-02 68T05型
PDF格式BibTeX公司 XML格式引用

从曲线估计协方差函数的核方法。 (英语) Zbl 0952.62032号

Vichi,Maurizio(编辑)等人,《分类和数据分析》。理论与应用。1997年7月3日至4日在意大利佩斯卡拉举行的意大利统计学会(SIS)分类小组半年一次的会议记录。柏林:斯普林格。分类、数据分析和知识组织研究。319-326 (1999).
MSC公司:62G07年 62M99型
PDF格式BibTeX公司 XML格式引用

基于活变量分析的状态空间约简。 (英语) Zbl 0957.68080号

Cortesi,Agostino(编辑)等人,《静态分析》。第六届国际研讨会,1999年9月22日至24日,意大利威尼斯,SAS’99。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1694, 164-178 (1999).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。 (英语) Zbl 0979.68554号

Apt,K.R.(编辑)等人,《逻辑编程范式》。25年展望。柏林:斯普林格。161-192 (1999).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者